Varieties of MV-algebras
From MaRDI portal
Publication:4443424
DOI10.1080/11663081.1999.10510961zbMath1031.06010OpenAlexW2049266197MaRDI QIDQ4443424
Publication date: 13 January 2004
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/11663081.1999.10510961
Other algebras related to logic (03G25) MV-algebras (06D35) Many-valued logic (03B50) Free algebras (08B20)
Related Items (15)
On the geometric theory of local MV-algebras ⋮ Implicative subreducts of MV-algebras: free and weakly projective objects ⋮ Gödel spaces and perfect MV-algebras ⋮ Least \(V\)-quasivarieties of MV-algebras ⋮ Coproducts of distributive lattice-based algebras. ⋮ Free Łukasiewicz implication algebras ⋮ Decidable and undecidable prime theories in infinite-valued logic ⋮ Top Varieties of Generalized MV-Algebras and Unital Lattice-Ordered Groups ⋮ Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic ⋮ Generic substitutions ⋮ Varieties of BL-algebras. I: General properties. ⋮ Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics ⋮ Geometrical methods in Wajsberg hoops ⋮ A note on minimal axiomatisations of some extensions of MTL ⋮ Varieties of BL-algebras
Cites Work
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Free products in the category of Abelian \(\ell\)-groups with strong unit
- An elementary presentation of the equivalence between MV-algebras and \(\ell\)-groups with strong unit
- Finitely generated free MV-algebras and their automorphism groups
- Equational characterization of all varieties of MV-algebras
- A constructive proof of McNaughton's theorem in infinite-valued logic
- A geometric proof of the completeness of the Łukasiewicz calculus
This page was built for publication: Varieties of MV-algebras