Finite axiomatizability in Łukasiewicz logic

Annals of Pure and Applied Logic 162 (12):1035-1047 (2011)
  Copy   BIBTEX


We classify every finitely axiomatizable theory in infinite-valued propositional Łukasiewicz logic by an abstract simplicial complex equipped with a weight function . Using the Włodarczyk–Morelli solution of the weak Oda conjecture for toric varieties, we then construct a Turing computable one–one correspondence between equivalence classes of weighted abstract simplicial complexes, and equivalence classes of finitely axiomatizable theories, two theories being equivalent if their Lindenbaum algebras are isomorphic. We discuss the relationship between our classification and Markov’s undecidability theorem for PL-homeomorphism of rational polyhedra



    Upload a copy of this work     Papers currently archived: 91,102

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Some Normal Extensions of K4.3.Ming Xu - 2013 - Studia Logica 101 (3):583-599.
Translating from łukasiewicz's logics into classical logic: Is it possible?Itala M. Loffredo D'Ottaviano & Hércules Araujo Feitosa - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):157-168.
Non-finite-axiomatizability results in algebraic logic.Balázs Biró - 1992 - Journal of Symbolic Logic 57 (3):832 - 843.
Some results on finite axiomatizability in modal logic.E. J. Lemmon - 1965 - Notre Dame Journal of Formal Logic 6 (4):301-308.
Finite axiomatizability using additional predicates.W. Craig & R. L. Vaught - 1958 - Journal of Symbolic Logic 23 (3):289-308.
Finiteness in infinite-valued łukasiewicz logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
Finite axiomatizability and theories with trivial algebraic closure.Dugald Macpherson - 1991 - Notre Dame Journal of Formal Logic 32 (2):188-192.


Added to PP

20 (#689,043)

6 months
1 (#1,241,711)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

On monadic MV-algebras.Antonio Di Nola & Revaz Grigolia - 2004 - Annals of Pure and Applied Logic 128 (1-3):125-139.
Representation theory of MV-algebras.Eduardo J. Dubuc & Yuri A. Poveda - 2010 - Annals of Pure and Applied Logic 161 (8):1024-1046.
Interpretation of De Finetti coherence criterion in Łukasiewicz logic.Daniele Mundici - 2010 - Annals of Pure and Applied Logic 161 (2):235-245.

View all 10 references / Add more references