The lattice structure of pseudo-Wajsberg algebras

Journal of Universal Computer Science

Volumn 6, Issue 1, 2000, Pages 22-38

  Ceterchi, Rodica ^a  

^a UNIVERSITY OF BUCHAREST   (Romania)

Author keywords

Boolean center; Lattice; MV algebra; Pseudo MV algebra; Pseudo Wajsberg algebra; Residuated monoid; Wajsberg algebra

Indexed keywords

EID: 0011114429     PISSN: 0948695X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (10)

1. R. CETERCHI, On algebras with implications, categorically equivalent to pseudo-MV algebras, in: "Information Technology", Proceedings of the 4th International Symposium on Economic Informatics, May 1999, INFOREC Printing House, Bucharest, Romania, 1999, p.912-917 Bucharest.
2. R. CETERCHI, Pseudo-Wajsberg algebras (to appear in Mult. Vol. Logic) (also at http://funinf.math.unibuc.ro/~logic).
3. C.C. CHANG, Algebraic analysis of many valued logics, Trans. Amer. Math. Soc. 88 (1958) p. 467-490.
4. C.C. CHANG, A new proof of the completeness of the Lukasiewicz axioms, Trans. Amer. Math. Sos. 93 (1959) p. 74-80.
5. R. CIGNOLI AND D. MUNDICI, An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Lukasiewicz, Studia Logica, 58 (1997) 79-97.
6. R. CIGNOLI, I. M. L. D'OTTAVIANO, D. MUNDICI, Algebraic Foundations of many-valued Reasoning (to appear).
7. J.M. FONT, A.J. RODRIGUEZ, A. TORRENS, Wajsberg algebras, Stochastica, Vol. VIII, Nr. 1 (1984) p.5-31.
8. G. GEORGESCU, A. IORGULESCU, Pseudo-MV Algebras: a Noncommutative Extension of MV Algebras, The Proceedings of the Fourth International Symposium on Economic Informati cs, Bucharest, Romania, 961-968, 1999.
9. G. GEORGESCU, A. IORGULESCU, Pseudo-MV algebras, (to appear in Mult. Val. Logic).
10. M. WAJSBERG, Beiträge zum Metaaussagenkalkül, Monat. Math. Phys. 42 (1935) p. 240.