Non-commutative Łukasiewicz propositional logic

Archive for Mathematical Logic

Volumn 45, Issue 2, 2006, Pages 191-213

  Leuştean, Ioana ^a  

^a UNIVERSITY OF BUCHAREST   (Romania)

Author keywords

psMV algebras; ukasiewicz logic

Indexed keywords

EID: 29144475773     PISSN: 09335846     EISSN: 14320665     Source Type: Journal    
DOI: 10.1007/s00153-005-0297-8     Document Type: Article

References (20)

1. Baaz, M.: Infinite-valued Gödel logics with 0-1-projections and relativizations. In: GÖDEL'96-Logical Foundations of Mathematics, Computer Science and Physics; Lectures Notes in Logic 6, P. Hájek, Ed., Springer Verlag, 23-33 (1996)
2. Ceterchi, R.: On Algebras with Implications, Categorically Equivalent to Pseudo-MV Algebras. In: The Proceedings of the Fourth International Symposium on Economic Informatics Bucharest, Romania, 912-916 (1999)
3. Ceterchi, R.: Pseudo-Wajsberg Algebras. Multiple-Valued Logic 6, 67-88 (2001)
4. Chang, C.C.: Algebraic analysis of many valued logics. Trans. A.M.S. 88, 467-490 (1958)
5. Chang, C.C.: A new proof of the completeness of the Lukasiewicz axioms. Trans. A.M.S. 93, 74-80 (1959)
6. Cignoli, R., D'Ottaviano, I.M.L., Mundici, D.: Algebraic Foundations of many-valued Reasoning. Kluwer Academic Publ. Dordrecht (2000).
7. Dvurečenskij, A.: Pseudo MV-algebras are intervals in ℓ-groups. Journal of Australian Mathematical Society 72, 427-445 (2002)
8. Dvurečenskij, A.: States on Pseudo MV-algebras. Studia Logica 68, 301-327 (2001)
9. Font, J.M., Rodríguez, A.J., Torrens,A.: Wajsberg algebras. Stochastica 8, 5-31 (1984)
10. Georgescu, G., Iorgulescu, A.: Pseudo-MV algebras: a noncommutative extension of MV-algebras. The Proceedings of the Fourth International Symposium on Economic Informatics, Bucharest, Romania 961-968, (1999)
11. Georgescu, G., Iorgulescu, A.: Pseudo-MV algebras. Multi. Val. Logic 6, 95-135 (2001)
12. Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer Acad. Publ. Dordrecht (1999)
13. Hájek, P.: On very true. Fuzzy Sets and Systems 124, 329-333 (2001)
14. Hájek, P.: Fuzzy logics with non-commutative conjunction. Journal of Logic and Computation, To appear
15. Hájek, P.: Observations on non-commutative fuzzy logic. Soft Computing, To appear
16. Hájek, P.: Fleas and fuzzy logic, draft.
17. Kühr, J.: Pseudo BL-algebras and DRℓ-monoids. Czechoslovak Math. Journal, To appear
18. Łukasiewicz, J., Tarski, A.: Untersuchungen über den Aussagenkalkül. Comptes Rendus de la Société des Sciences et des Lettres de Varsovie, Cl. III, 23, 30-50 (1930)
19. Rachunek, J.: A non-commutative generalization of MV-algebras. Czechoslovak Math. Journal 52, 255-273 (2002)
20. Rasiowa, H.: An algebraic approach to non-classical logic. North Holland Publ., Amsterdam, Polish Scientific Publ., Warszawa 1974