Quantum computational logic with mixed states

Mathematical Logic Quarterly 59 (1-2):27-50 (2013)

Abstract
In this paper we solve the problem how to axiomatize a system of quantum computational gates known as the Poincaré irreversible quantum computational system. A Hilbert-style calculus is introduced obtaining a strong completeness theorem
Keywords PMV‐algebras. MSC (2010) 06B99  06D35  Quantum computational logic  03B52  MV‐algebras
Categories (categorize this paper)
Reprint years 2013
DOI 10.1002/malq.201110030
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 42,938
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Product Ł Ukasiewicz Logic.Rostislav Horčík & Petr Cintula - 2004 - Archive for Mathematical Logic 43 (4):477-503.
An Algebraic Approach to Propositional Fuzzy Logic.Franco Montagna - 2000 - Journal of Logic, Language and Information 9 (1):91-124.

View all 7 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Quantum MV Algebras.Roberto Giuntini - 1996 - Studia Logica 56 (3):393 - 417.
The Logic of Peirce Algebras.Maarten De Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.
The Logic of Peirce Algebras.Maarten Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.
Coreflections in Algebraic Quantum Logic.Bart Jacobs & Jorik Mandemaker - 2012 - Foundations of Physics 42 (7):932-958.
Representation and Extension of States on MV-Algebras.TomአKroupa - 2005 - Archive for Mathematical Logic 45 (4):381-392.
Weak Density of States.Gottfried T. Rüttimann - 1989 - Foundations of Physics 19 (9):1101-1112.

Analytics

Added to PP index
2013-12-01

Total views
14 ( #572,568 of 2,259,405 )

Recent downloads (6 months)
1 ( #918,365 of 2,259,405 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature