A Lower Bound for Interpolation

Logic Journal of the IGPL 5 (3):1-6 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/5.3.1-a

Links

PhilArchive



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

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

Interpolation by a Game.Jan Kraíček - 1998 - Mathematical Logic Quarterly 44 (4):450-458.
An exponential lower bound for a constraint propagation proof system based on ordered binary decision diagrams.Jan Krajíček - 2008 - Journal of Symbolic Logic 73 (1):227-237.
Interpolation.Misha Gavrilovich - 1997 - Logic Journal of the IGPL 5 (3):11-16.
Discretely ordered modules as a first-order extension of the cutting planes proof system.Jan Krajíček - 1998 - Journal of Symbolic Logic 63 (4):1582-1596.
Upper and lower Ramsey bounds in bounded arithmetic.Kerry Ojakian - 2005 - Annals of Pure and Applied Logic 135 (1-3):135-150.
Lower Bounds for resolution and cutting plane proofs and monotone computations.Pavel Pudlák - 1997 - Journal of Symbolic Logic 62 (3):981-998.
Interpolation theorems, lower Bounds for proof systems, and independence results for bounded arithmetic.Jan Krajíček - 1997 - Journal of Symbolic Logic 62 (2):457-486.
On lengths of proofs in non-classical logics.Pavel Hrubeš - 2009 - Annals of Pure and Applied Logic 157 (2-3):194-205.
Interpolation in non-classical logics.Giovanna D’Agostino - 2008 - Synthese 164 (3):421 - 435.
Filters with infinitely many components.Abner Shimony - 1971 - Foundations of Physics 1 (4):325-328.
On the use of inaccessible numbers and order indiscernibles in lower bound arguments for random access machines.Wolfgang Maass - 1988 - Journal of Symbolic Logic 53 (4):1098-1109.
Interpolation properties of superintuitionistic logics.Larisa L. Maksimova - 1979 - Studia Logica 38 (4):419 - 428.
An infinitely descending chain of ground without a lower bound.Jon Erling Litland - 2016 - Philosophical Studies 173 (5):1361-1369.
Long finite sequences.Harvey Friedman - manuscript
That SCI has the interpolation property.Grzegorz Malinowski & Marek Michalczyk - 1982 - Studia Logica 41 (4):375 - 380.

Analytics

Added to PP
2016-06-30

Downloads
8 (#1,316,752)

6 months
1 (#1,469,946)

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

No references found.

Add more references