Expanding Quasi-MV Algebras by a Quantum Operator

, &
Studia Logica 87 (1):99-128 (2007)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-007-9079-0

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

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.
Quantum MV algebras.Roberto Giuntini - 1996 - Studia Logica 56 (3):393 - 417.
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 Verlag.
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
2009-01-28

Downloads
80 (#205,156)

6 months
4 (#800,606)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Quantum computational logic with mixed states.Hector Freytes & Graciela Domenech - 2013 - Mathematical Logic Quarterly 59 (1-2):27-50.

Add more citations

References found in this work

Algebraic foundations of many-valued reasoning.Roberto Cignoli - 1999 - Boston: Kluwer Academic Publishers. Edited by Itala M. L. D'Ottaviano & Daniele Mundici.
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