The number of proof lines and the size of proofs in first order logic

Archive for Mathematical Logic 27 (1):69-84 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,662

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Some Remarks on Lengths of Propositional Proofs.Samuel R. Buss - 1995 - Archive for Mathematical Logic 34 (6):377-394.
Lower Bounds for Modal Logics.Pavel Hrubeš - 2007 - Journal of Symbolic Logic 72 (3):941 - 958.
The Number of Lines in Frege Proofs with Substitution.Alasdair Urquhart - 1997 - Archive for Mathematical Logic 37 (1):15-19.
The Cost of a Cycle is a Square.A. Carbone - 2002 - Journal of Symbolic Logic 67 (1):35-60.
A Note on Propositional Proof Complexity of Some Ramsey-Type Statements.Jan Krajíček - 2011 - Archive for Mathematical Logic 50 (1-2):245-255.
Implicit Proofs.Jan Krajíček - 2004 - Journal of Symbolic Logic 69 (2):387 - 397.

Analytics

Added to PP
2013-11-23

Downloads
22 (#516,394)

6 months
1 (#419,921)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

On Me Number of Steps in Proofs.Jan Krajíèek - 1989 - Annals of Pure and Applied Logic 41 (2):153-178.
The Undecidability of K-Provability.Samuel R. Buss - 1991 - Annals of Pure and Applied Logic 53 (1):75-102.
On the Number of Steps in Proofs.Jan Kraj\mIček - 1989 - Annals of Pure and Applied Logic 41 (2):153-178.

View all 19 citations / Add more citations

References found in this work

Symbolic Logic and Mechanical Theorem Proving.Chin-Liang Chang - 1973 - New York, NY, USA: Academic Press.

Add more references