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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,405

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

MV-Algebras and Quantum Computation.Antonio Ledda, Martinvaldo Konig, Francesco Paoli & Roberto Giuntini - 2006 - Studia Logica 82 (2):245-270.
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.
States on Polyadic MV-algebras.George Georgescu - 2010 - Studia Logica 94 (2):231-243.
States on pseudo MV-Algebras.Anatolij Dvurečenskij - 2001 - Studia Logica 68 (3):301-327.
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.
Connections between BCK-algebras and difference posetse.Anatolij Dvurečenskij & Hee Sik Kim - 1998 - Studia Logica 60 (3):421-439.
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.
Quantum MV algebras.Roberto Giuntini - 1996 - Studia Logica 56 (3):393 - 417.
Quasivarieties generated by simple MV-algebras.Joan Gispert & Antoni Torrens - 1998 - Studia Logica 61 (1):79-99.

Analytics

Added to PP
2009-01-28

Downloads
50 (#344,148)

6 months
15 (#274,434)

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