Decidable and undecidable prime theories in infinite-valued logic

Annals of Pure and Applied Logic

Volumn 108, Issue 1-3, 2001, Pages 269-278

  Mundici, Daniele ^a   Panti, Giovanni ^b  

^a UNIVERSITY OF MILAN   (Italy)

^b UNIVERSITY OF UDINE   (Italy)

Author keywords

03B50; 03G20; 06D35; Decidable theories; Desingularization; Fan; Lattice ordered abelian groups; MV algebras; Piecewise linear functions

Indexed keywords

EID: 0008515118     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0168-0072(00)00051-8     Document Type: Article

References (14)

1. Anderson M., Feil T. Lattice-ordered groups. 1988;Reidel, Dordrecht.
2. Bigard A., Keimel K., Wolfenstein S. Groupes et anneaux réticulés, Lecture Notes in Mathematics. Vol. 608:1977;Springer, Berlin.
3. R. Cignoli, I. D'Ottaviano, D. Mundici, Algebraic Foundations of many-valued Reasoning, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1999. Trends in Logic - Studia Logica Library.
4. Chang C.C. Algebraic analysis of many valued logics. Trans. Amer. Math. Soc. 88:1958;467-490.
5. Chang C.C. A new proof of the completeness of the Lukasiewicz axioms. Trans. Amer. Math. Soc. 93:1959;74-80.
6. Ewald G. Combinatorial Convexity and Algebraic Geometry. 1996;Springer, Berlin.
7. W. Fulton, An introduction to Toric Varieties, Ann. Math. Stud. 131 (1993).
8. Komori Y. Super-Lukasiewicz propositional logic. Nagoya Math. J. 84:1981;119-133.
9. * -algebras in Lukasiewicz sentential calculus J. Funct. Anal. 65:1986;15-63.
10. Mundici D. A constructive proof of McNaughton's theorem in infinite-valued logic. J. Symbolic Logic. 59:1994;596-602.
11. Oda T. Convex Bodies and Algebraic Geometry. 1988;Springer, Berlin.
12. Panti G. A geometric proof of the completeness of the Lukasiewicz calculus. J. Symbolic Logic. 60(2):1995;563-578.
13. Panti G. Prime ideals in free. ℓ -groups and free vector lattices J. Algebra. 219(1):1999;173-200.
14. Panti G. Varieties of MV-algebras. J. Appl. Non-Classical Logics. 9(1):1999;141-157.