A geometric proof of the completeness of the Łukasiewicz calculus

DOI10.2307/2275851zbMATH Open0837.03018OpenAlexW1966763988MaRDI QIDQ4842633FDOQ4842633

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

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

zbMATH Keywords

normal formscompletenesspiecewise linear functions\(n\)-cubetoric varietiesMV-algebrasfree algebravaluationsinfinite-valued logicLindenbaum algebraequational calculusMcNaughton theorem

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cites Work

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

Cited In (31)

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

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)