Expanding Quasi-MV Algebras by a Quantum Operator

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


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.



    Upload a copy of this work     Papers currently archived: 86,213

External links

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

Through your library

Similar books and articles

Distributive Lattices with a Negation Operator.Sergio Arturo Celani - 1999 - Mathematical Logic Quarterly 45 (2):207-218.
Quantum MV algebras.Roberto Giuntini - 1996 - Studia Logica 56 (3):393 - 417.
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.


Added to PP

76 (#186,725)

6 months
3 (#337,572)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

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