Least \(V\)-quasivarieties of MV-algebras
From MaRDI portal
Publication:1697351
DOI10.1016/j.fss.2014.07.011zbMath1380.06009OpenAlexW1965391784MaRDI QIDQ1697351
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
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