Studia Logica 87 (1):99-128 (2007)
Authors |
|
Abstract |
We investigate an expansion of quasi-MV algebras ([10]) by a genuine quantum unary operator. The variety of such quasi-MV algebras has a subquasivariety whose members—called cartesian—can be obtained in an appropriate way out of MV algebras. After showing that cartesian . quasi-MV algebras generate ,we prove a standard completeness theorem for w.r.t. an algebra over the complex numbers.
|
Keywords | Philosophy Computational Linguistics Mathematical Logic and Foundations Logic |
Categories | (categorize this paper) |
DOI | 10.1007/s11225-007-9079-0 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Quantum Computation and Quantum Information.Michael A. Nielsen, Isaac L. Chuang & Isaac L. Chuang - 2000 - Cambridge University Press.
MV-Algebras and Quantum Computation.Antonio Ledda, Martinvaldo Konig, Francesco Paoli & Roberto Giuntini - 2006 - Studia Logica 82 (2):245-270.
MV*—Algebras.Renato Lewin, Marta Sagastume & Pedro Massey - 2004 - Logic Journal of the IGPL 12 (6):461-483.
VMV# algebrasV.R. Lewin, M. Sagastume & P. Massey - 2004 - Logic Journal of the IGPL 12 (6):461-483.
View all 6 references / Add more references
Citations of this work BETA
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.
The Lattice of Subvarieties of $${\sqrt{\prime}}$$ Quasi-MV Algebras.T. Kowalski, F. Paoli, R. Giuntini & A. Ledda - 2010 - Studia Logica 95 (1-2):37-61.
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.
On Certain Quasivarieties of Quasi-MV Algebras.A. Ledda, T. Kowalski & F. Paoli - 2011 - Studia Logica 98 (1-2):149-174.
A Representation of Quantum Measurement in Order-Unit Spaces.Gerd Niestegge - 2008 - Foundations of Physics 38 (9):783-795.
MV-Algebras and Quantum Computation.Antonio Ledda, Martinvaldo Konig, Francesco Paoli & Roberto Giuntini - 2006 - Studia Logica 82 (2):245-270.
The Lattice of Subvarieties of $${\sqrt{\prime}}$$ Quasi-MV Algebras.T. Kowalski, F. Paoli, R. Giuntini & A. Ledda - 2010 - Studia Logica 95 (1-2):37-61.
Distributive Lattices with a Negation Operator.Sergio Arturo Celani - 1999 - Mathematical Logic Quarterly 45 (2):207-218.
The Lattice of Subvarieties of √′ Quasi-MV Algebras.T. Kowalski, F. Paoli, R. Giuntini & A. Ledda - 2010 - Studia Logica 95 (1-2):37 - 61.
A Representation of Quantum Measurement in Nonassociative Algebras.Gerd Niestegge - 2009 - Foundations of Physics 39 (2):120-136.
On Some Properties of Quasi MV Algebras and Square Root Quasi MV Algebras. Part III.Franchesco Paoli & Tomasz Kowalski - 2010 - Reports on Mathematical Logic:161-199.
Hidden Variables and Bell Inequalities on Quantum Logics.Sylvia Pulmannová - 2002 - Foundations of Physics 32 (2):193-216.
Geometry of State Spaces of Operator Algebras.Erik M. Alfsen & Frederic W. Shultz - 2002 - Springer Science & Business Media.
Weak‐Quasi‐Stone Algebras.Sergio A. Celani & Leonardo M. Cabrer - 2009 - Mathematical Logic Quarterly 55 (3):288-298.
-}$Bounded Wajsberg Algebras With A U- Operator.M. Lattanzi - 2005 - Reports on Mathematical Logic:89-111.
The Class of Infinite Dimensional Neat Reducts of Quasi‐Polyadic Algebras is Not Axiomatizable.Tarek Sayed Ahmed - 2006 - Mathematical Logic Quarterly 52 (1):106-112.
Analytics
Added to PP index
2009-01-28
Total views
72 ( #158,436 of 2,499,723 )
Recent downloads (6 months)
1 ( #418,066 of 2,499,723 )
2009-01-28
Total views
72 ( #158,436 of 2,499,723 )
Recent downloads (6 months)
1 ( #418,066 of 2,499,723 )
How can I increase my downloads?
Downloads