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

DOI10.1023/A:1004991931741zbMATH Open0876.03011MaRDI QIDQ677079FDOQ677079

Authors: Daniele Mundici, Roberto Cignoli 

Publication date: 30 October 1997

Published in: Studia Logica (Search for Journal in Brave)

Recommendations

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

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)

Cited In (16)

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

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)