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)
Many-valued logic (03B50) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)
Related Items (13)
The Sheffer stroke operation reducts of basic algebras ⋮ Averaging the truth-value in Łukasiewicz logic ⋮ Maximal subalgebras of \(\mathrm{MV}_n\)-algebras. A proof of a conjecture of A. Monteiro ⋮ M-zeroids: structure and categorical equivalence ⋮ Some results on derivations of MV-algebras ⋮ Functorial representation theorems for MV\(_\Delta\) algebras with additional operators ⋮ Effectible residuated lattices and \(n\)-th roots ⋮ Generic substitutions ⋮ Equivalence à la Mundici for commutative lattice-ordered monoids ⋮ Convergence in perfect MV-algebras ⋮ Boolean skeletons of MV-algebras and \(\ell \)-groups ⋮ Ten questions and one problem on fuzzy logic ⋮ Connections between \(\text{MV}_n\) algebras and \(n\)-valued Lukasiewicz-Moisil algebras. II
This page was built for publication: An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz