|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
34th International Symposium on Multiple-Valued Logic (ISMVL'04)
Characterization Theorem of Lattice Implication Algebras
University of Toronto, Toronto, Canada
May 19-May 22
ISBN: 0-7695-2130-4
| 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 - | |||
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
Usage of this product signifies your acceptance of the Terms of Use.