An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz

DOI10.1023/A:1004991931741MaRDI QIDQ677079zbMATH OpenFDO

Authors Daniele Mundici, Roberto Cignoli

Publication date 30 October 1997

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

many-valued logicChang's completeness theoremMV algebraŁukasiewicz calculus

Mathematics Subject Classification ID

Many-valued logic (03B50) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Recommendations

• scientific article; zbMATH DE number 764337
• A geometric proof of the completeness of the Łukasiewicz calculus
• A note on interval MV-algebras

Cited in

(16)

• M-zeroids: structure and categorical equivalence
• Maximal subalgebras of \(\mathrm{MV}_n\)-algebras. A proof of a conjecture of A. Monteiro
• Effectible residuated lattices and \(n\)-th roots
• Boolean skeletons of MV-algebras and \(\ell \)-groups
• Ten questions and one problem on fuzzy logic
• scientific article; zbMATH DE number 764337 (Why is no real title available?)
• Connections between \(\text{MV}_n\) algebras and \(n\)-valued Lukasiewicz-Moisil algebras. II
• Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem.
• Functorial representation theorems for MV\(_\Delta\) algebras with additional operators
• Generic substitutions
• Equivalence à la Mundici for commutative lattice-ordered monoids
• Averaging the truth-value in Łukasiewicz logic
• The Sheffer stroke operation reducts of basic algebras
• Some results on derivations of MV-algebras
• A geometric proof of the completeness of the Łukasiewicz calculus
• Convergence in perfect MV-algebras

This page was built for publication: An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz

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