The lattice of subvarieties of ^ quasi-MV algebras

DOI10.1007/S11225-010-9256-4MaRDI QIDQ609648zbMATH OpenOpenAlexFDO

Authors Francesco Paoli, Roberto Giuntini, Antonio Ledda, Tomasz Kowalski

Publication date 1 December 2010

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-010-9256-4

zbMATH Keywords

\(\sqrt{'}\) quasi-MV algebranon-finite axiomatizabilitysubvariety lattice

Mathematics Subject Classification ID

Quantum logic (03G12) MV-algebras (06D35) Lattices of varieties (08B15)

Review text

\(\sqrt{'}\) quasi-MV-algebras were introduced in [\textit{R. Giuntini}, \textit{A. Ledda} and \textit{F. Paoli}, ``Expanding quasi-MV-algebras by a quantum operator, Stud. Log. 87, No. 1, 99--128 (2007; Zbl 1127.06008)] as an axiomatization of the equational theory of the algebra of density operators endowed with connectives of quantum Łukasiewicz disjunctions and square root of negation. The paper under review is a continuation of this research. The main contribution is the solution to a long-standing open problem: the authors show that the variety generated by the standard disk algebra \(\mathbb D_r\) is not finitely based (Theorem 40) and they provide an infinite equational basis for the variety.

Recommendations

• Lattice of subalgebras in the finitely generated varieties of MV-algebras
• On some lattice quotients of MV-algebras
• On subquasivariety lattices of semi-primal varieties
• On the lattice of the subvarieties of monadic \(\mathrm{MV}(C)\)-algebras
• The lattice of subquasivarieties of a locally finite quasivariety
• On subquasivariety lattices of some varieties related with distributive p-algebras
• On the structure of lattices of subquasivarieties of congruence-Noetherian quasivarieties
• On the lattice of quasivarieties of Sugihara algebras
• On certain quasivarieties of quasi-MV algebras
• Subalgebras, direct products and associated lattices of MV-algebras

Cites work

• MV^*—Algebras
• Categorical Equivalences for Formula quasi-MV Algebras
• Equational Bases and Nonmodular Lattice Varieties
• Expanding quasi-MV algebras by a quantum operator
• On some properties of quasi-MV algebras and \(\sqrt '\) quasi-MV algebras
• On some properties of quasi-MV algebras and 'quasi-MV algebras. III
• On some properties of quasi-MV algebras and \(\sqrt{^{\prime}}\) quasi-MV algebras. II.
• Some generalizations of fuzzy structures in quantum computational logic

Cited in

(8)

• Least \(V\)-quasivarieties of MV-algebras
• The lattice of subquasivarieties of a locally finite quasivariety
• On some properties of quasi-MV algebras and 'quasi-MV algebras. III
• The representation of square root quasi-pseudo-MV algebras
• Categorical Equivalences for Formula quasi-MV Algebras
• On some properties of quasi-MV algebras and \(\sqrt '\) quasi-MV algebras
• Logics from \(\sqrt{\prime}\) quasi-MV algebras
• On certain quasivarieties of quasi-MV algebras

This page was built for publication: The lattice of subvarieties of \({\sqrt{^\prime}}\) quasi-MV algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q609648)