An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz
From MaRDI portal
(Redirected from Publication:677079)
This paper presents a self-contained proof of Chang's completeness theorem for Łukasiewicz's infinite valued calculus. Some basic properties of MV-algebras are introduced. It is shown that the unit interval \([0,1]\) with the operations \(\neg x = 1-x \) and \( x \oplus y = \min(1,x+y) \) is an initial MV-algebra, in the sense that an equation holds in \([0,1]\) if and only if it holds in every MV-algebra. This yields Chang{'}s completeness theorem.
Recommendations
Cited in
(18)- 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
- Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem.
- The Sheffer stroke operation reducts of basic algebras
- Generic substitutions
- scientific article; zbMATH DE number 764337 (Why is no real title available?)
- A geometric proof of the completeness of the Łukasiewicz calculus
- Functorial representation theorems for MV\(_\Delta\) algebras with additional operators
- Some results on derivations of MV-algebras
- Topological classes of MV-algebras
- Constructions of general overlap and grouping functions on algebras of infinite-valued Łukasiewicz logic
- Boolean skeletons of MV-algebras and -groups
- Maximal subalgebras of \(\mathrm{MV}_n\)-algebras. A proof of a conjecture of A. Monteiro
- Effectible residuated lattices and \(n\)-th roots
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)
