scientific article; zbMATH DE number 1329672
The paper essentially consists of three parts. The first one is dedicated to the basic tools of the algebraic theory of the many-valued calculus of Łukasiewicz (Chang's MV-algebras), with the aim to reach a proof of Chang's Completeness Theorem. The hinge of the proof is the relationship between the totally ordered abelian groups and the totally ordered MV-algebras. The authors argue as in the simple, interesting, geometric proof, that they propose in the Prologue, of the well-known Weinberg Theorem on the variety of abelian lattice-ordered groups. The second part deals with a characterization of the free MV-algebras, attained by a unimodular triangulation of \([0,1]^n\) and the Disjunctive Normal Form reduction of McNaughton functions. The third part provides the necessary background to establish relationships between MV-algebras and other mathematical topics as lattice-ordered abelian groups, desingularizations of toric varieties and AF \(C^*\)-Algebras. The paper is very interesting for the wealth of mathematical reasoning. It undoubtedly is indispensable, together with its extensive bibliography, to anyone who is interested in many-valued propositional logic. For the entire collection see [Zbl 0910.00039].
- Tensor products and the Loomis-Sikorski theorem for MV-algebras
- The writing of the MV-algebras
- Algebraic foundations of many-valued reasoning
- Geometrical methods in Wajsberg hoops
- On free MV algebras and a problem of Tarski
- Combining Boolean algebras and -groups in the variety generated by Chang's MV-algebra
- scientific article; zbMATH DE number 1269582 (Why is no real title available?)
- A Cantor-Bernstein theorem for -complete MV-algebras
- scientific article; zbMATH DE number 2064179 (Why is no real title available?)
- scientific article; zbMATH DE number 1737274 (Why is no real title available?)
- scientific article; zbMATH DE number 761277 (Why is no real title available?)
- scientific article; zbMATH DE number 1455805 (Why is no real title available?)
- Computing on Lattice-Ordered Abelian Groups
- Cantor–Bernstein Property for MV-Algebras
- scientific article; zbMATH DE number 2208114 (Why is no real title available?)
- Natural dualities for varieties of MV-algebras. I
- Functorial representation theorems for MV\(_\Delta\) algebras with additional operators
- Adding structure to MV-algebras
- Advanced Łukasiewicz calculus and MV-algebras
- Coordinatizing some concrete MV algebras and a decomposition theorem
- Monadic MV-algebras are equivalent to monadic \(\ell \)-groups with strong unit
- Boolean skeletons of MV-algebras and -groups
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4258028)
