An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz
From MaRDI portal
Publication:677079
DOI10.1023/A:1004991931741zbMath0876.03011MaRDI QIDQ677079
Daniele Mundici, Roberto L. O. Cignoli
Publication date: 30 October 1997
Published in: Studia Logica (Search for Journal in Brave)
03B50: Many-valued logic
06D30: De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects)
Related Items
Functorial representation theorems for MV\(_\Delta\) algebras with additional operators, Some results on derivations of MV-algebras, Boolean skeletons of MV-algebras and \(\ell \)-groups, Maximal subalgebras of \(\mathrm{MV}_n\)-algebras. A proof of a conjecture of A. Monteiro, Effectible residuated lattices and \(n\)-th roots, Convergence in perfect MV-algebras, Ten questions and one problem on fuzzy logic, Connections between \(\text{MV}_n\) algebras and \(n\)-valued Lukasiewicz-Moisil algebras. II, Averaging the truth-value in Łukasiewicz logic, M-zeroids: structure and categorical equivalence, Equivalence à la Mundici for commutative lattice-ordered monoids, The Sheffer stroke operation reducts of basic algebras, Generic substitutions