A geometric proof of the completeness of the Łukasiewicz calculus

DOI10.2307/2275851zbMath0837.03018MaRDI QIDQ4842633

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

toric varieties; free algebra; completeness; normal forms; MV-algebras; valuations; infinite-valued logic; piecewise linear functions; \(n\)-cube; Lindenbaum algebra; equational calculus; McNaughton theorem

Mathematics Subject Classification ID

03B50: Many-valued logic

Related Items

Varieties of MV-algebras, 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, Finite axiomatizability in Łukasiewicz logic, Bernoulli automorphisms of finitely generated free MV-algebras, Free Łukasiewicz implication algebras, A characterization of MV-algebras free over finite distributive lattices, 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, Geometry of Robinson consistency in Łukasiewicz logic, Semiring and Semimodule Issues in MV-Algebras, Unnamed Item, Lattice-ordered Abelian groups and Schauder bases of unimodular fans, Invariant Measures in Free MV-Algebras, A discrete representation of free MV-algebras, Faithful and Invariant Conditional Probability in Łukasiewicz Logic

Cites Work

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