Logics from quasi-MV algebras

DOI10.1007/S10773-011-0865-0MaRDI QIDQ429939zbMATH OpenOpenAlexFDO

Authors Francesco Paoli, Antonio Ledda, Matthew Spinks, Roberto Giuntini, H. 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

\(\sqrt{'}\) qMV-algebraalgebraic logicqMV-algebraquantum logic

Mathematics Subject Classification ID

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

Review text

The aim of the paper under review is to extend the scope of investigations on abstract logics called quasi-MV-algebras (qMV-algebras for short), and \(\sqrt{'}\) qMV-algebras. Such logical structures appear in the study of foundation of quantum computing. The paper is a continuation of a series papers of the four main representatives from Sardinia.

Recommendations

• On some properties of quasi-MV algebras and \(\sqrt{\prime}\) quasi-MV algebras. IV
• The logic of quasi-MV algebras
• The lattice of subvarieties of \({\sqrt{^\prime}}\) quasi-MV algebras
• On certain quasivarieties of quasi-MV algebras
• The representation of square root quasi-pseudo-MV algebras

Cites work

• A discriminator variety of Gödel algebras with operators arising in quantum computation
• Algebraizable logics
• Algebras defined from ordered sets and the varieties they generate
• Categorical Equivalences for Formula quasi-MV Algebras
• Expanding quasi-MV algebras by a quantum operator
• Fregean logics
• scientific article; zbMATH DE number 1579275 (Why is no real title available?)
• scientific article; zbMATH DE number 3887682 (Why is no real title available?)
• scientific article; zbMATH DE number 1775384 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• LOGICS FROM QUANTUM COMPUTATION
• MV-algebras and quantum computation
• Normally presented varieties
• 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.
• On subtractive varieties. III: From ideals to congruences
• On the infinite-valued Łukasiewicz logic that preserves degrees of truth
• Quantum computational logic
• Quantum computer with mixed states and four-valued logic
• Quantum operation, quantum Fourier transform and semi-definite programming
• Quasi-subtractive varieties
• Taking degrees of truth seriously
• The logic of quasi-MV algebras
• Weakly algebraizable logics

Cited in

(7)

• States, state operators and quasi-pseudo-MV algebras
• The representation of square root quasi-pseudo-MV algebras
• The logic of quasi-MV algebras
• Categorical Equivalences for Formula quasi-MV Algebras
• On some properties of quasi-MV algebras and \(\sqrt{\prime}\) quasi-MV algebras. IV
• Quantum computational structures: Categorical equivalence for square root \(\mathrm{qMV}\)-algebras
• Some results on quasi MV-algebras and perfect quasi MV-algebras

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

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