MV-Algebras and Quantum Computation
Studia Logica 82 (2):245-270 (2006)
| Authors |
Antonio Ledda
Universita di Cagliari
|
| 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 |
Edit this record
Mark as duplicate
Export citation
Request removal from index
|
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.
Some Classes of Quasi-Pseudo-MV Algebras.Wenjuan Chen & Bijan Davvaz - 2016 - Logic Journal of the IGPL 24 (5).
Quasi-Subtractive Varieties.Tomasz Kowalski, Francesco Paoli & Matthew Spinks - 2011 - Journal of Symbolic Logic 76 (4):1261-1286.
Quantum Computational Structures: Categorical Equivalence for Square Root qMV -Algebras.Hector Freytes - 2010 - Studia Logica 95 (1-2):63 - 80.
On Birkhoff’s Common Abstraction Problem.F. Paoli & C. Tsinakis - 2012 - Studia Logica 100 (6):1079-1105.
View all 8 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
72 ( #113,943 of 2,266,270 )
Recent downloads (6 months)
1 ( #850,735 of 2,266,270 )
2009-01-28
Total views
72 ( #113,943 of 2,266,270 )
Recent downloads (6 months)
1 ( #850,735 of 2,266,270 )
How can I increase my downloads?
Downloads
