Characterization Theorem of Lattice Implication Algebras

University of Toronto, Toronto, Canada May 19-May 22

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/ISMVL.2004.1319951

34th International Symposium on Multi ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Michiro Kondo

	ASCII Text	x
	Michiro Kondo, "Characterization Theorem of Lattice Implication Algebras," Multiple-Valued Logic, IEEE International Symposium on, pp. 257-260, 34th International Symposium on Multiple-Valued Logic (ISMVL'04), 2004.

	BibTex	x
	@article{ 10.1109/ISMVL.2004.1319951, author = {Michiro Kondo}, title = {Characterization Theorem of Lattice Implication Algebras}, journal ={Multiple-Valued Logic, IEEE International Symposium on}, volume = {0}, year = {2004}, issn = {0195-623X}, pages = {257-260}, doi = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.2004.1319951}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Multiple-Valued Logic, IEEE International Symposium on TI - Characterization Theorem of Lattice Implication Algebras SN - 0195-623X SP257 EP260 A1 - Michiro Kondo, PY - 2004 KW - null VL - 0 JA - Multiple-Valued Logic, IEEE International Symposium on ER -

Michiro Kondo, Tokyo Denki University

In this paper we show the characterization theorem of lattice implication algebras. The algebras are presented by Xu ([5]) in 1993. Our theorem means that the class of all lattice implication algebras coincides with the class of all bounded commutative BCKalgebras. Hence lattices implication algebras are categorically equivalent to MV-algebras and to Wajsberg algebras.

Citation:

Michiro Kondo, "Characterization Theorem of Lattice Implication Algebras," ismvl, pp.257-260, 34th International Symposium on Multiple-Valued Logic (ISMVL'04), 2004

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.