- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Much Shorter Proofs
Mathematical Logic Quarterly 35 (3):247-260 (1989)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
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.
An operational logic of proofs with positive and negative information.Duccio Luchi & Franco Montagna - 1999 - Studia Logica 63 (1):7-25.
On the relationship between ATR 0 and.Jeremy Avigad - 1996 - Journal of Symbolic Logic 61 (3):768-779.
Probabilistic proofs and transferability.Kenny Easwaran - 2009 - Philosophia Mathematica 17 (3):341-362.
On different intuitionistic calculi and embeddings from int to S.Uwe Egly - 2001 - Studia Logica 69 (2):249-277.
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.
Provable Fixed Points.Dick De Jongh & Franco Montagna - 1988 - Mathematical Logic Quarterly 34 (3):229-250.
Lower Bounds for cutting planes proofs with small coefficients.Maria Bonet, Toniann Pitassi & Ran Raz - 1997 - Journal of Symbolic Logic 62 (3):708-728.
Analytics
Added to PP
2013-12-01
Downloads
8 (#1,321,511)
6 months
5 (#646,314)
2013-12-01
Downloads
8 (#1,321,511)
6 months
5 (#646,314)
Historical graph of downloads
Author's Profile
Citations of this work
Polynomially and superexponentially shorter proofs in fragments of arithmetic.Franco Montagna - 1992 - Journal of Symbolic Logic 57 (3):844-863.
European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium'88), Padova, 1988.R. Ferro - 1990 - Journal of Symbolic Logic 55 (1):387-435.
References found in this work
Basic Measurement Theory.Patrick Suppes & Joseph Zinnes - 1963 - In D. Luce & Robert Bush (eds.), Handbook of mathematical psychology, Volume I. John Wiley & Sons.. pp. 1-76.
Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.
Generic Generalized Rosser Fixed Points.Dick H. J. de Jongh & Franco Montagna - 1987 - Studia Logica 46 (2):193-203.
A Simplification of the Completeness Proofs for Guaspari and Solovay's R.Frans Voorbraak - 1989 - Notre Dame Journal of Formal Logic 31 (1):44-63.
A simplification of the completeness proofs for Guaspari and Solovay's ${\rm R}$.Frans Voorbraak - 1989 - Notre Dame Journal of Formal Logic 31 (1):44-63.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-pqwqt uwo