Least \(V\)-quasivarieties of MV-algebras

DOI10.1016/j.fss.2014.07.011zbMath1380.06009OpenAlexW1965391784MaRDI QIDQ1697351

Joan Gispert i Brasó

Publication date: 19 February 2018

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2014.07.011

zbMATH Keywords

MV-algebrasquasivarietyfree MV-algebra\(V\)-quasivariety

Mathematics Subject Classification ID

MV-algebras (06D35) Varieties of lattices (06B20)

Related Items

Almost structural completeness; an algebraic approach, Structural and universal completeness in algebra and logic, Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic, Structural completeness in many-valued logics with rational constants

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics
• Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
• Finitely generated free MV-algebras and their automorphism groups
• Quasivarieties generated by simple MV-algebras
• Algebraic foundations of many-valued reasoning
• On subquasivariety lattices of semi-primal varieties
• MV-algebras: a variety for magnitudes with archimedean units
• Bases of Admissible Rules of Lukasiewicz Logic
• Algebraic Analysis of Many Valued Logics
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
• Admissible Rules of Lukasiewicz Logic
• Super-Łukasiewicz propositional logics
• Q-Universal Quasivarieties of Algebras
• Varieties of MV-algebras
• The subquasivariety lattice of a discriminator variety