A note on proofs of falsehood

Archive for Mathematical Logic 26 (1):169-176 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

External links

  • This entry has no external links. Add one.
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

Jan Krajíček and Pavel Pudlák. The number of proof lines and the size of proofs in first order logic. Archive for mathematical logic, vol. 27 , pp. 69–84. [REVIEW]William M. Farmer - 1989 - Journal of Symbolic Logic 54 (3):1107-1108.
Review: Jan Krajicek, On the Number of Steps in Proofs. [REVIEW]William M. Farmer - 1991 - Journal of Symbolic Logic 56 (1):334-335.
Jan Krajíček. On the number of steps in proofs. Annals of pure and applied logic, vol. 41 , pp. 153–178.William M. Farmer - 1991 - Journal of Symbolic Logic 56 (1):334-335.
Jan Krajíček. Forcing with random variables and proof complexity. London Mathematical Society Lecture Note Series, vol. 232. Cambridge University Press, 2011, xvi + 247 pp. [REVIEW]Sam Buss - 2012 - Bulletin of Symbolic Logic 18 (4):576-578.
Review: Jan Krajicek, Bounded Arithmetic, Propositional Logic, and Complexity Theory. [REVIEW]P. Clote - 1999 - Journal of Symbolic Logic 64 (3):1357-1362.
In Memoriam Jan Lukasiewicz.Heinrich Scholz - 1957 - Archive for Mathematical Logic 3 (1-2):3.
A theorem on generalizations of proofs.Tsuyoshi Yukami - 1990 - Archive for Mathematical Logic 30 (3):139-153.
The number of proof lines and the size of proofs in first order logic.Jan Krajíček & Pavel Pudlák - 1988 - Archive for Mathematical Logic 27 (1):69-84.
Review: Peter Clote, Jan Krajicek, Arithmetic, proof theory, and computational complexity. [REVIEW]Fernando Ferreira - 1995 - Journal of Symbolic Logic 60 (3):1014-1017.
Prefix and plain Kolmogorov complexity characterizations of 2-randomness: simple proofs.Bruno Bauwens - 2015 - Archive for Mathematical Logic 54 (5-6):615-629.

Analytics

Added to PP
2014-04-05

Downloads
11 (#1,149,206)

6 months
11 (#339,290)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Faith & falsity.Albert Visser - 2004 - Annals of Pure and Applied Logic 131 (1-3):103-131.
Friedman-reflexivity.Albert Visser - 2022 - Annals of Pure and Applied Logic 173 (9):103160.
The Arithmetics of a Theory.Albert Visser - 2015 - Notre Dame Journal of Formal Logic 56 (1):81-119.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references