Prime spectra of non-commutative generalizations of MV-algebras

Algebra Universalis

Volumn 48, Issue 2, 2002, Pages 151-169

  Rachunek, Jiří ^a  

^a PALACKÝ UNIVERSITY   (Czech Republic)

Author keywords

Bilinear logic; Closed ideal; GMV algebra; Ideal; MV algebra; Prime ideal; Prime ideal spectrum; Unital l group; ukasiewicz logic

Indexed keywords

EID: 0036408732     PISSN: 00025240     EISSN: None     Source Type: Journal    
DOI: 10.1007/PL00012447     Document Type: Article

References (32)

1. R. Baudot, Non-commutative logic programming language NoCLog, in: Symposium LICS 2000 (Santa Barbara), Short Presentations, 3 pp.
2. A. Bigard, K. Keimel, and S. Wolfenstein, Groupes et Anneaux Réticulés, Springer-Verlag, Berlin, Heidelberg, New York, 1977.
3. W.J. Blok and D. Pigozzi, Algebraizable Logics, Mem. Amer. Math. Soc. 396, Providence, 1989.
4. R. Ceterchi, Pseudo-Wajsberg algebras, Multiple-Valued Logic 6 (2001), 67-88.
5. R. Ceterchi, The lattice structure of pseudo-Wajsberg algebras, J. UCS 6 (2000), 22-38.
6. I. Chajda, R. Halaš, and J. Rachůnek, Ideals and congruences in generalized MV-algebras, Demonstratio Math. 30 (2000), 213-222.
7. C.C. Chang, Algebraic analysis of many valued logics, Trans. Amer. Math. Soc. 88 (1958), 467-490.
8. C.C. Chang, A new proof of the completeness of the Lukasiewicz axioms, Trans. Amer. Math. Soc. 93 (1959), 74-80.
9. R.O.L. Cignoli, I.M.L. D'Ottaviano, and D. Mundici, Algebraic Foundations of Many-valued Reasoning, Kluwer Acad. Publ., Dordrecht, Boston, London, 2000.
10. R. Cignoli and A. Torrens, The poset of prime l-ideals of an abelian l-group with a strong unit, J. Algebra 184 (1996), 604-614.
11. A. Di Nola, G. Georgescu, and S. Sessa, Closed ideals of MV-algebras, in: Advances in Contemporary Logic and Computer Science, Contemp. Math., vol. 235, Amer. Math. Soc., Providence, 1999, pp. 99-112.
12. A. Dvurečenskij, Pseudo MV-algebras are intervals in l-groups, J. Austral. Math. Soc. 72 (2002) (to appear).
13. A. Dvurečenskij, States on pseudo MV-algebras, Studia Logica 68 (2001), 301 327.
14. L. Fuchs, Partially Ordered Algebraic Systems, Pergamon Press, Oxford, London, New York, Paris, 1963.
15. A.M.W. Glass and W. Charles Holland (eds.), Lattice-Ordered Groups (Advances and Techniques), Kluwer Acad. Publ., Dordrecht, Boston, London, 1989.
16. G. Georgescu and A. Iorgulescu, Pseudo-MV algebras: A non-commutative extension of MV-algebras, in: Proc. Fourth Inter. Symp. on Econ. Inform., May 6-9, 1999, INFOREC Printing House, Bucharest, 1999, pp. 961-968.
17. G. Georgescu and A. Iorgulescu, Pseudo-MV algebras, Multiple-Valued Logic 6 (2001), 95-135.
18. J.-Y. Girard: Linear logic, Theoretical Computer Science 50 (1987), 1-102.
19. P. Hájek, Metamathematics of Fuzzy Logic, Kluwer, Amsterdam, 1998.
20. J. Jakubík, Direct product decompositions of pseudo MV-algebras, Arch. Math. 37 (2001), 129-141.
21. J. Jakubík, Convex chains in a pseudo MV-algebra, Czechoslovak Math. J. (to appear).
22. J. Jakubík, Basic elements in a pseudo MV-algebra (submitted).
23. S.C. Kleene, Introduction to Metamathematics, Van Nostrand, New York, 1952.
24. V.M. Kopytov and N. Ya. Medvedev, The Theory of Lattice Ordered Groups, Kluwer Acad. Publ., Dordrecht, Boston, London, 1994.
25. J. Lambek, Some lattice models of bilinear logic, Algebra Univ. 34 (1995), 541-550.
26. J. Lambek, Bilinear logic and Grishin algebras, in: Orlowska, E. (ed.): Logic at Work. Essays dedicated to the memory of Helena Rasiowa, Physica-Verlag, Heidelberg, 1999, pp. 604-612.
27. D. Mundici, Interpretation of AF C*-algebras in Łukasiewicz sentential calculus, J. Funct. Analys. 65 (1986), 15-63.
28. J. Rachůnek, A non-commutative generalization of MV-algebras, Czechoslovak Math. J. 52 (2002)(to appear).
29. J. Rachůnek, Prime ideals and polars in generalized MV-algebras, Multiple Valued Logic (to appear).
30. L. Rieger, On the ordered and cyclically ordered groups I, II, III (Czech), Věst. Král. České Spol. Nauk, (1946, no. 6, 1-31; 1947, no. 1, 1-33; 1948, no. 1, 1-26.)
31. E. Turunen, Mathematics Behind Fuzzy Logic, Physica-Verlag, Heidelberg, New York, 1999.
32. D.N. Yetter, Quantales and (non-commutative) linear logic, J. Symbolic Logic 55 (1990), 41-64.