Much Shorter Proofs

&
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (3):247-260 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19890350308

Links

PhilArchive



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

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

[Omnibus Review].Lev D. Beklemishev - 1993 - Journal of Symbolic Logic 58 (2):715-717.
Much Shorter Proofs.Dick de Jongh & Franco Montagna - 1989 - Mathematical Logic Quarterly 35 (3):247-260.
Polynomially and superexponentially shorter proofs in fragments of arithmetic.Franco Montagna - 1992 - Journal of Symbolic Logic 57 (3):844-863.
Much shorter proofs: A bimodal investigation.Alessandra Carbone & Franco Montagna - 1990 - Mathematical Logic Quarterly 36 (1):47-66.
Introducing Wilfrid Hodges, a shorter model theory.Peter Smith - unknown
An operational logic of proofs with positive and negative information.Duccio Luchi & Franco Montagna - 1999 - Studia Logica 63 (1):7-25.
Probabilistic proofs and transferability.Kenny Easwaran - 2009 - Philosophia Mathematica 17 (3):341-362.
Strategic Maneuvering in Mathematical Proofs.Erik C. W. Krabbe - 2008 - Argumentation 22 (3):453-468.
On different intuitionistic calculi and embeddings from int to S.Uwe Egly - 2001 - Studia Logica 69 (2):249-277.
The Depth of Resolution Proofs.Alasdair Urquhart - 2011 - Studia Logica 99 (1-3):349-364.
A Problem with the Dependence of Informal Proofs on Formal Proofs.Fenner Tanswell - 2015 - Philosophia Mathematica 23 (3):295-310.
The Nature and Relation of the Three Proofs of God's Existence in Descates' Meditations.David N. Stamos - unknown
On the relationships between ATR0 and $\widehat{ID}_{.Jeremy Avigad - 1996 - Journal of Symbolic Logic 61 (3):768 - 779.
Finding missing proofs with automated reasoning.Branden Fitelson & Larry Wos - 2001 - Studia Logica 68 (3):329-356.
Hypothetical Logic of Proofs.Eduardo Bonelli & Gabriela Steren - 2014 - Logica Universalis 8 (1):103-140.

Analytics

Added to PP
2015-12-02

Downloads
27 (#557,528)

6 months
7 (#350,235)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dick De De Jongh
University of Amsterdam

Citations of this work

Add more citations

References found in this work

Existence and feasibility in arithmetic.Rohit Parikh - 1971 - Journal of Symbolic Logic 36 (3):494-508.
Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.
Self-Reference and Modal Logic.[author unknown] - 1987 - Studia Logica 46 (4):395-398.

View all 7 references / Add more references