Interpolation

Logic Journal of the IGPL 5 (3):11-16 (1997)
  Copy   BIBTEX

Abstract

We prove a cubic lower bound on the formula size of interpolants in propositional logic

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/5.3.1-a

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,574

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 property for bicartesian closed categories.Djordje Čubrić - 1994 - Archive for Mathematical Logic 33 (4):291-319.
Basic Propositional Calculus II. Interpolation: II. Interpolation.Mohammad Ardeshir & Wim Ruitenburg - 2001 - Archive for Mathematical Logic 40 (5):349-364.
Constructive interpolation in hybrid logic.Patrick Blackburn & Maarten Marx - 2003 - Journal of Symbolic Logic 68 (2):463-480.
Interpolation in practical formal development.J. Bicarregui, T. Dimitrakos, D. Gabbay & T. Maibaum - 2001 - Logic Journal of the IGPL 9 (2):231-244.
Interpolants, cut elimination and flow graphs for the propositional calculus.Alessandra Carbone - 1997 - Annals of Pure and Applied Logic 83 (3):249-299.
Interpolation by a Game.Jan Kraíček - 1998 - Mathematical Logic Quarterly 44 (4):450-458.
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.
Interval-Related Interpolation in Interval Temporal Logics.Dimitar Guelev - 2001 - Logic Journal of the IGPL 9 (5):677-685.
Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation.Franco Montagna - 2012 - Studia Logica 100 (1-2):289-317.
Interpolation and Definability over the Logic Gl.Larisa Maksimova - 2011 - Studia Logica 99 (1-3):249-267.
Doing logic by computer: interpolation in fragments of intuitionistic propositional logic.Lex Hendriks - 2000 - Annals of Pure and Applied Logic 104 (1-3):97-112.
Interpolation in non-classical logics.Giovanna D’Agostino - 2008 - Synthese 164 (3):421 - 435.
Interpolation and amalgamation properties in varieties of equivalential algebras.Małgorzata Porębska - 1986 - Studia Logica 45 (1):35 - 38.
Interpolation and the Interpretability Logic of PA.Evan Goris - 2006 - Notre Dame Journal of Formal Logic 47 (2):179-195.
Interpolation properties of superintuitionistic logics.Larisa L. Maksimova - 1979 - Studia Logica 38 (4):419 - 428.

Analytics

Added to PP
2015-02-04

Downloads
3 (#1,717,410)

6 months
2 (#1,206,551)

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