Categorical Equivalences for Formula quasi-MV Algebras

DOI10.1093/LOGCOM/EXN082MaRDI QIDQ3583097zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

lattice-ordered groupsquasi-MV-algebrasgamma functor

Mathematics Subject Classification ID

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

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

Cited in

(7)

• On some properties of quasi-MV algebras and \(\sqrt{\prime}\) quasi-MV algebras. IV
• 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

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)