Logics from \(\sqrt{\prime}\) quasi-MV algebras

DOI10.1007/S10773-011-0865-0zbMath1246.81016OpenAlexW2463390977MaRDI QIDQ429939

Francesco Paoli, Antonio Ledda, Roberto Giuntini, Matthew Spinks, Hector Freytes

Publication date: 20 June 2012

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10773-011-0865-0

zbMATH Keywords

algebraic logicquantum logic\(\sqrt{'}\) qMV-algebraqMV-algebra

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Related Items (2)

The representation of square root quasi-pseudo-MV algebras ⋮ States, state operators and quasi-pseudo-MV algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fregean logics
• On the infinite-valued Łukasiewicz logic that preserves degrees of truth
• Taking degrees of truth seriously
• A discriminator variety of Gödel algebras with operators arising in quantum computation
• On subtractive varieties. III: From ideals to congruences
• Quantum computational logic
• Normally presented varieties
• Quantum operation, quantum Fourier transform and semi-definite programming
• Expanding quasi-MV algebras by a quantum operator
• On some properties of quasi-MV algebras and \(\sqrt{^{\prime}}\) quasi-MV algebras. II.
• MV-algebras and quantum computation
• Algebras defined from ordered sets and the varieties they generate
• Quasi-subtractive varieties
• The Logic of Quasi-MV Algebras
• Categorical Equivalences for Formula quasi-MV Algebras
• Algebraizable logics
• Quantum computer with mixed states and four-valued logic
• Weakly algebraizable logics
• LOGICS FROM QUANTUM COMPUTATION

This page was built for publication: Logics from \(\sqrt{\prime}\) quasi-MV algebras