Uniform Short Proofs for Classical Theorems

Notre Dame Journal of Formal Logic 42 (2):121-127 (2001)
  Copy   BIBTEX

Abstract

This note exploits back-and-forth characteristics to construct, using a single method, short proofs for ten classics of first-order and modal logic: interpolation theorems, preservation theorems, and Lindström's theorem

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1054837939

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

Theorem Proving via Uniform Proofs>.Alberto Momigliano - unknown
Sets of theorems with short proofs.Daniel Richardson - 1974 - Journal of Symbolic Logic 39 (2):235-242.
Why do mathematicians re-prove theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.
Algebraic aspects of deduction theorems.Janusz Czelakowski - 1985 - Studia Logica 44 (4):369 - 387.
Normal natural deduction proofs (in classical logic).Wilfried Sieg & John Byrnes - 1998 - Studia Logica 60 (1):67-106.
Algebraic proofs of cut elimination.Jeremy Avigad - manuscript
Three theorems of Godel.Andrew Boucher - manuscript
Mathematical realism and gödel's incompleteness theorems.Richard Tieszen - 1994 - Philosophia Mathematica 2 (3):177-201.
A short introduction to intuitionistic logic.G. E. Mint︠s︡ - 2000 - New York: Kluwer Academic / Plenum Publishers.
On the incompleteness theorems.Henryk Kotlarski - 1994 - Journal of Symbolic Logic 59 (4):1414-1419.
Nonstandard combinatorics.Joram Hirshfeld - 1988 - Studia Logica 47 (3):221 - 232.
Dowody komputerowe a status epistemologiczny twierdzeń matematyki.Izabela Bondecka-Krzykowska - 1999 - Filozofia Nauki 3.
Saturated models of universal theories.Jeremy Avigad - 2002 - Annals of Pure and Applied Logic 118 (3):219-234.
Contemporary perspectives on Hilbert's second problem and the gödel incompleteness theorems.Harvey Friedman - manuscript

Analytics

Added to PP
2010-08-24

Downloads
11 (#1,075,532)

6 months
1 (#1,459,555)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Interpolation, Preservation, and Pebble Games.Jon Barwise & Johan van Benthem - 1999 - Journal of Symbolic Logic 64 (2):881 - 903.

Add more references