Categorical Equivalences for Formula quasi-MV Algebras

DOI10.1093/LOGCOM/EXN082zbMATH Open1220.06003OpenAlexW1835399749MaRDI QIDQ3583097FDOQ3583097

Authors: Francesco Paoli, Antonio Ledda, Roberto Giuntini 

Publication date: 26 August 2010

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exn082

Recommendations

• On some properties of quasi-MV algebras and \(\sqrt{\prime}\) quasi-MV algebras. IV
• On some properties of quasi-MV algebras and \(\sqrt '\) quasi-MV algebras
• MV-algebras and quantum computation
• Expanding quasi-MV algebras by a quantum operator
• Quantum computational structures: Categorical equivalence for square root \(\mathrm{qMV}\)-algebras
• The lattice of subvarieties of \({\sqrt{^\prime}}\) quasi-MV algebras
• The representation of square root quasi-pseudo-MV algebras
• Logics from \(\sqrt{\prime}\) quasi-MV algebras
• An independent axiomatization of quantum MV algebras
• Quantum MV-algebras and commutativity

zbMATH Keywords

lattice-ordered groupsquasi-MV-algebrasgamma functor

Mathematics Subject Classification ID

Quantum computation (81P68) MV-algebras (06D35) Ordered groups (06F15)

Cited In (7)

• Categories of semigroups in quantum computational structures
• A discriminator variety of Gödel algebras with operators arising in quantum computation
• The representation of square root quasi-pseudo-MV algebras
• Logics from \(\sqrt{\prime}\) quasi-MV algebras
• The lattice of subvarieties of \({\sqrt{^\prime}}\) quasi-MV algebras
• MV-algebras are categorically equivalent to a class of $\scr{DR}l\sb {1(i)}$-semigroups
• On some properties of quasi-MV algebras and \(\sqrt{\prime}\) quasi-MV algebras. IV

This page was built for publication: Categorical Equivalences for Formula quasi-MV Algebras

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