Quantum deduction rules

Annals of Pure and Applied Logic 157 (1):16-29 (2009)
  Copy   BIBTEX

Abstract

We define propositional quantum Frege proof systems and compare them with classical Frege proof systems

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2008.09.017

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,010

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

The deduction rule and linear and near-linear proof simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.
Proof internalization in generalized Frege systems for classical logic.Yury Savateev - 2014 - Annals of Pure and Applied Logic 165 (1):340-356.
Propositional consistency proofs.Samuel R. Buss - 1991 - Annals of Pure and Applied Logic 52 (1-2):3-29.
Extension without cut.Lutz Straßburger - 2012 - Annals of Pure and Applied Logic 163 (12):1995-2007.
Frege systems for extensible modal logics.Emil Jeřábek - 2006 - Annals of Pure and Applied Logic 142 (1):366-379.
A Simulation of Natural Deduction and Gentzen Sequent Calculus.Daniil Kozhemiachenko - 2018 - Logic and Logical Philosophy 27 (1):67-84.
The limits of tractability in Resolution-based propositional proof systems.Stefan Dantchev & Barnaby Martin - 2012 - Annals of Pure and Applied Logic 163 (6):656-668.
Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss.Daniil Kozhemiachenko - 2018 - Journal of Applied Non-Classical Logics 28 (4):389-413.
Some remarks on lengths of propositional proofs.Samuel R. Buss - 1995 - Archive for Mathematical Logic 34 (6):377-394.
A lower bound for intuitionistic logic.Pavel Hrubeš - 2007 - Annals of Pure and Applied Logic 146 (1):72-90.

Analytics

Added to PP
2013-11-03

Downloads
36 (#628,386)

6 months
10 (#410,099)

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

Propositional consistency proofs.Samuel R. Buss - 1991 - Annals of Pure and Applied Logic 52 (1-2):3-29.

Add more references