Much shorter proofs: A bimodal investigation

&
Mathematical Logic Quarterly 36 (1):47-66 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19900360107

Links

PhilArchive



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

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

Rosser Orderings in Bimodal Logics.Alessandra Carbone & Franco Montagna - 1989 - Mathematical Logic Quarterly 35 (4):343-358.
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.
Reductive techniques in proofs of the completeness theorems for the normal bimodal systems.Piotr Lukowski - 2003 - Bulletin of the Section of Logic 32 (3):147-159.
Introducing Wilfrid Hodges, a shorter model theory.Peter Smith - unknown
Review: Albert Visser, A Course on Bimodal Provability Logic. [REVIEW]Franco Montagna - 1997 - Journal of Symbolic Logic 62 (2):686-687.
Normal natural deduction proofs (in classical logic).Wilfried Sieg & John Byrnes - 1998 - Studia Logica 60 (1):67-106.
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.
Quantified propositional logic and the number of lines of tree-like proofs.Alessandra Carbone - 2000 - Studia Logica 64 (3):315-321.
What is the upper part of the lattice of bimodal logics?Frank Wolter - 1994 - Studia Logica 53 (2):235 - 241.
A Basic System of Congruential-to-Monotone Bimodal Logic and Two of Its Extensions.I. L. Humberstone - 1996 - Notre Dame Journal of Formal Logic 37 (4):602-612.
Effects of bimodal stimulus presentation on tracking performance.Donald H. Mcgee & Richard E. Christ - 1971 - Journal of Experimental Psychology 91 (1):110.
Logical structures and genus of proofs.Alessandra Carbone - 2010 - Annals of Pure and Applied Logic 161 (2):139-149.

Analytics

Added to PP
2013-12-01

Downloads
19 (#791,735)

6 months
2 (#1,202,576)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Bounded arithmetic, proof complexity and two papers of Parikh.Samuel R. Buss - 1999 - Annals of Pure and Applied Logic 96 (1-3):43-55.

Add more citations

References found in this work

Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.

Add more references