Studia Logica 82 (2):245-270 (2006)
Authors |
|
Abstract |
We introduce a generalization of MV algebras motivated by the investigations into the structure of quantum logical gates. After laying down the foundations of the structure theory for such quasi-MV algebras, we show that every quasi-MV algebra is embeddable into the direct product of an MV algebra and a “flat” quasi-MV algebra, and prove a completeness result w.r.t. a standard quasi-MV algebra over the complex numbers.
|
Keywords | Philosophy Logic Mathematical Logic and Foundations Computational Linguistics |
Categories | (categorize this paper) |
DOI | 10.1007/s11225-006-7202-2 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Citations of this work BETA
Expanding Quasi-MV Algebras by a Quantum Operator.Roberto Giuntini, Antonio Ledda & Francesco Paoli - 2007 - Studia Logica 87 (1):99-128.
Quasi-Subtractive Varieties.Tomasz Kowalski, Francesco Paoli & Matthew Spinks - 2011 - Journal of Symbolic Logic 76 (4):1261-1286.
Some Classes of Quasi-Pseudo-MV Algebras.Wenjuan Chen & Bijan Davvaz - 2016 - Logic Journal of the IGPL 24 (5).
Quantum Computational Logic with Mixed States.Hector Freytes & Graciela Domenech - 2013 - Mathematical Logic Quarterly 59 (1-2):27-50.
Quantum Computational Structures: Categorical Equivalence for Square Root qMV -Algebras.Hector Freytes - 2010 - Studia Logica 95 (1-2):63 - 80.
View all 9 citations / Add more citations
Similar books and articles
On Some Properties of Quasi-MV Algebras and $\sqrt{^{\prime }}$ Quasi-MV Algebras.Francesco Paoli, Antonio Ledda, Roberto Giuntini & Hector Freytes - 2009 - Reports on Mathematical Logic:31-63.
MV Algebras and Quantum Computation.Konig M. la, F. Paoli & R. Giuntini - 2006 - Studia Logica 82 (2).
Expanding Quasi-MV Algebras by a Quantum Operator.Roberto Giuntini, Antonio Ledda & Francesco Paoli - 2007 - Studia Logica 87 (1):99-128.
Quantum Computational Structures: Categorical Equivalence for Square Root qMV -Algebras.Hector Freytes - 2010 - Studia Logica 95 (1-2):63 - 80.
Hector Freytes, Antonio Ledda, Giuseppe Sergioli And.Roberto Giuntini & Probabilistic Logics in Quantum Computation - 2013 - In Hanne Andersen, Dennis Dieks, Wenceslao González, Thomas Uebel & Gregory Wheeler (eds.), New Challenges to Philosophy of Science. Springer Verlag. pp. 49.
On Certain Quasivarieties of Quasi-MV Algebras.A. Ledda, T. Kowalski & F. Paoli - 2011 - Studia Logica 98 (1-2):149-174.
A Quantum Computer Only Needs One Universe.A. M. Steane - 2003 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 34 (3):469-478.
Quantum Mechanics and Computation.Bart D’Hooghe & Jaroslaw Pykacz - 2004 - Foundations of Science 9 (4):387-404.
Many Worlds, the Cluster-State Quantum Computer, and the Problem of the Preferred Basis.Michael E. Cuffaro - 2012 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 43 (1):35-42.
How Much of One-Way Computation Is Just Thermodynamics?Janet Anders, Michal Hajdušek, Damian Markham & Vlatko Vedral - 2008 - Foundations of Physics 38 (6):506-522.
Is the Brain a Quantum Computer?Abninder Litt, Chris Eliasmith, Frederick W. Kroon, Steven Weinstein & Paul Thagard - 2006 - Cognitive Science 30 (3):593-603.
A Representation of Quantum Measurement in Order-Unit Spaces.Gerd Niestegge - 2008 - Foundations of Physics 38 (9):783-795.
An Introduction to Many Worlds in Quantum Computation.Clare Hewitt-Horsman - 2009 - Foundations of Physics 39 (8):869-902.
Quantum Computation in Brain Microtubules.Stuart R. Hameroff - 2002 - Physical Review E 65 (6):1869--1896.
Analytics
Added to PP index
2009-01-28
Total views
74 ( #154,098 of 2,498,401 )
Recent downloads (6 months)
1 ( #426,910 of 2,498,401 )
2009-01-28
Total views
74 ( #154,098 of 2,498,401 )
Recent downloads (6 months)
1 ( #426,910 of 2,498,401 )
How can I increase my downloads?
Downloads