A geometric proof of the completeness of the Łukasiewicz calculus

DOI10.2307/2275851MaRDI QIDQ4842633zbMATH OpenOpenAlexFDO

Authors Giovanni Panti

Publication date 13 May 1996

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275851

zbMATH Keywords

\(n\)-cubecompletenessequational calculusfree algebrainfinite-valued logicLindenbaum algebraMcNaughton theoremMV-algebrasnormal formspiecewise linear functionstoric varietiesvaluations

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• scientific article; zbMATH DE number 764337
• scientific article; zbMATH DE number 2234932
• scientific article; zbMATH DE number 5046775
• An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz
• An axiomatization of the finite-valued Łukasiewicz calculus
• A Direct Geometric Proof of the Lefschetz Fixed Point Formulas
• A geometric proof of the Lelong-Poincaré formula
• A geometric proof of the Poincaré-Birkhoff-Witt theorem
• Publication:4207472
• scientific article; zbMATH DE number 1446798

Cites work

• A constructive proof of McNaughton's theorem in infinite-valued logic
• A theorem about infinite-valued sentential logic
• Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus

Cited in

(34)

• The complexity of McNaughton functions of one variable
• Geometrical methods in Wajsberg hoops
• On normal forms in Łukasiewicz logic
• A characterization of truth-functions in the nilpotent minimum logic
• Finiteness in infinite-valued Łukasiewicz logic
• Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem.
• Geometry of Robinson consistency in Łukasiewicz logic
• An asymptotically tight bound on countermodels for Łukasiewicz logic
• Semiring and semimodule issues in MV-algebras.
• Lattice-ordered Abelian groups and Schauder bases of unimodular fans
• scientific article; zbMATH DE number 5125127 (Why is no real title available?)
• Invariant Measures in Free MV-Algebras
• A discrete representation of free MV-algebras
• Faithful and Invariant Conditional Probability in Łukasiewicz Logic
• scientific article; zbMATH DE number 956482 (Why is no real title available?)
• A constructive proof of McNaughton's theorem in infinite-valued logic
• scientific article; zbMATH DE number 1088196 (Why is no real title available?)
• Varieties of MV-algebras
• scientific article; zbMATH DE number 2172902 (Why is no real title available?)
• scientific article; zbMATH DE number 764337 (Why is no real title available?)
• Consequence Relations with Real Truth Values
• Geometry of super-Łukasiewicz logics
• Germinal theories in Łukasiewicz logic
• The Lebesgue state of a unital abelian lattice-ordered group
• Decidable and undecidable prime theories in infinite-valued logic
• Functorial representation theorems for MV\(_\Delta\) algebras with additional operators
• Distributivity in Ł\(_{\aleph_0}\) and other sentential logics
• Consequence and interpolation in Łukasiewicz logic
• An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz
• Finite axiomatizability in Łukasiewicz logic
• Bernoulli automorphisms of finitely generated free MV-algebras
• Pavelka-style completeness in expansions of Łukasiewicz logic
• Free Łukasiewicz implication algebras
• A characterization of MV-algebras free over finite distributive lattices

This page was built for publication: A geometric proof of the completeness of the Łukasiewicz calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4842633)