Interpolation and Approximate Semantic Derivations

Mathematical Logic Quarterly 48 (4):602-606 (2002)
  Copy   BIBTEX

Abstract

We show that the feasible interpolation property is robust for some proof systems but not for others

Categories

Keywords

Reprint years

DOI

10.1002/1521-3870(200211)48:4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

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

Nisan-Wigderson generators in proof systems with forms of interpolation.Ján Pich - 2011 - Mathematical Logic Quarterly 57 (4):379-383.
Randomized feasible interpolation and monotone circuits with a local oracle.Jan Krajíček - 2018 - Journal of Mathematical Logic 18 (2):1850012.
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 theorems, lower bounds for proof systems, and independence results for bounded arithmetic.Jan Krajíček - 1997 - Journal of Symbolic Logic 62 (2):457-486.
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.
Some applications of propositional logic to cellular automata.Stefano Cavagnetto - 2009 - Mathematical Logic Quarterly 55 (6):605-616.
Interpolation by a Game.Jan Kraíček - 1998 - Mathematical Logic Quarterly 44 (4):450-458.
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.
Tableaux and Interpolation for Propositional Justification Logics.Meghdad Ghari - 2024 - Notre Dame Journal of Formal Logic 65 (1):81-112.
Interpolation in Extensions of First-Order Logic.Guido Gherardi, Paolo Maffezioli & Eugenio Orlandelli - 2020 - Studia Logica 108 (3):619-648.

Analytics

Added to PP
2013-12-01

Downloads
16 (#905,992)

6 months
3 (#1,208,233)

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