Proof Theory and Logical Complexity [Book Review]

Annals of Pure and Applied Logic 53 (4):197 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

8870881237

DOI

10.2307/2274839

Links

PhilArchive



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

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

Reinflating Logical Consequence.Owen Griffiths - 2012 - Journal of Philosophical Logic (1):1-9.
The structure of logical consequence : proof-theoretic conceptions.Ole T. Hjortland - unknown
A Sound and Complete Proof Theory for Propositional Logical Contingencies.Charles Morgan, Alexander Hertel & Philipp Hertel - 2007 - Notre Dame Journal of Formal Logic 48 (4):521-530.
Proof theory and set theory.Gaisi Takeuti - 1985 - Synthese 62 (2):255 - 263.
A Negation-free Proof of Cantor's Theorem.N. Raja - 2005 - Notre Dame Journal of Formal Logic 46 (2):231-233.
Logics which capture complexity classes over the reals.Felipe Cucker & Klaus Meer - 1999 - Journal of Symbolic Logic 64 (1):363-390.
Inferentializing Semantics.Jaroslav Peregrin - 2010 - Journal of Philosophical Logic 39 (3):255 - 274.
A first course in logic: an introduction to model theory, proof theory, computability, and complexity.Shawn Hedman - 2004 - New York: Oxford University Press.
The complexity of propositional proofs.Nathan Segerlind - 2007 - Bulletin of Symbolic Logic 13 (4):417-481.
Prove it! The Burden of Proof Game in Science vs. Pseudoscience Disputes.Massimo Pigliucci & Maarten Boudry - 2014 - Philosophia 42 (2):487-502.
Some decision problems of enormous complexity.Harvey Friedman - manuscript

Analytics

Added to PP
2014-03-31

Downloads
45 (#337,378)

6 months
7 (#350,235)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.
Cut Elimination in the Presence of Axioms.Sara Negri & Jan Von Plato - 1998 - Bulletin of Symbolic Logic 4 (4):418-435.

View all 37 citations / Add more citations

References found in this work

No references found.

Add more references