Quantum Computational Structures: Categorical Equivalence for Square Root qMV -algebras

Studia Logica 95 (1-2):63 - 80 (2010)
  Copy   BIBTEX

Abstract

In this paper we investigate a categorical equivalence between square root qMV-algehras (a variety of algebras arising from quantum computation) and a category of preordered semigroups

Categories

Keywords

Reprint years

DOI

10.1007/s11225-010-9250-x

Links

PhilArchive



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

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

Connections between BCK-algebras and difference posetse.Anatolij Dvurečenskij & Hee Sik Kim - 1998 - Studia Logica 60 (3):421-439.
On Certain Quasivarieties of Quasi-MV Algebras.A. Ledda, T. Kowalski & F. Paoli - 2011 - Studia Logica 98 (1-2):149-174.
On categorical equivalences of commutative BCK-algebras.Anatolij Dvurečenskij - 2000 - Studia Logica 64 (1):21-36.
Computable and continuous partial homomorphisms on metric partial algebras.Viggo Stoltenberg-Hansen & John V. Tucker - 2003 - Bulletin of Symbolic Logic 9 (3):299-334.
An algebraic approach to propositional fuzzy logic.Franco Montagna - 2000 - Journal of Logic, Language and Information 9 (1):91-124.
Countably-categorical Boolean algebras with distinguished ideals.D. E. Pal'chunov - 1987 - Studia Logica 46 (2):121 - 135.
A categorical approach to polyadic algebras.Roch Ouellet - 1982 - Studia Logica 41 (4):317 - 327.
A Note on Bosbach’s Cone Algebras.Wolfgang Rump & Yichuan Yang - 2011 - Studia Logica 98 (3):375-386.
Quantum MV algebras.Roberto Giuntini - 1996 - Studia Logica 56 (3):393 - 417.

Analytics

Added to PP
2010-06-09

Downloads
121 (#148,159)

6 months
1 (#1,461,875)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

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.

Add more references