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

Authors
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

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,607
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

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

View all 8 references / Add more references

Citations of this work BETA

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 - 2006 - 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
28 ( #412,798 of 2,533,629 )

Recent downloads (6 months)
1 ( #389,998 of 2,533,629 )

How can I increase my downloads?

Downloads

My notes