Doing logic by computer: interpolation in fragments of intuitionistic propositional logic

Annals of Pure and Applied Logic 104 (1-3):97-112 (2000)
  Copy   BIBTEX

Abstract

In this paper we study the interpolation property in fragments of intuitionistic and propositional logic, using both proof theoretic and semantic techniques. We will also sketch some computational methods, based on the semantical techniques introduced, to obtain counterexamples in fragment where interpolation does not hold

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(00)00009-9

Links

PhilArchive



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

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 in fragments of intuitionistic propositional logic.Gerard R. Renardel de Lavalette - 1989 - Journal of Symbolic Logic 54 (4):1419-1430.
Interpolation in Fragments of Intuitionistic Propositional Logic.Gerard R. Renardel De Lavalette - 1989 - Journal of Symbolic Logic 54 (4):1419 - 1430.
Interpolation in fragments of classical linear logic.Dirk Roorda - 1994 - Journal of Symbolic Logic 59 (2):419-444.
Interpolation and amalgamation properties in varieties of equivalential algebras.Małgorzata Porębska - 1986 - Studia Logica 45 (1):35 - 38.
On the complexity of propositional quantification in intuitionistic logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.
On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic.Michael Makkai - 1995 - Notre Dame Journal of Formal Logic 36 (3):364-381.
The Decidability of Dependency in Intuitionistic Propositional Logi.Dick De Jongh & L. A. Chagrova - 1995 - Journal of Symbolic Logic 60 (2):498 - 504.
A short introduction to intuitionistic logic.G. E. Mint︠s︡ - 2000 - New York: Kluwer Academic / Plenum Publishers.
Irreflexive modality in the intuitionistic propositional logic and Novikov completeness.A. D. Yashin - 1999 - Journal of Philosophical Logic 28 (2):175-197.
Intuitionistic Completeness and Classical Logic.D. C. McCarty - 2002 - Notre Dame Journal of Formal Logic 43 (4):243-248.
The logic of bunched implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.
The decidability of dependency in intuitionistic propositional Logi.Dick de Jongh & L. A. Chagrova - 1995 - Journal of Symbolic Logic 60 (2):498-504.
Interpolation and implicit definability in extensions of the provability logic.Larisa Maksimova - 2008 - Logic and Logical Philosophy 17 (1-2):129-142.
A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic.Morten H. Sørensen & Paweł Urzyczyn - 2010 - Notre Dame Journal of Formal Logic 51 (4):457-473.

Analytics

Added to PP
2014-01-16

Downloads
11 (#1,070,627)

6 months
6 (#417,196)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The many faces of interpolation.Johan van Benthem - 2008 - Synthese 164 (3):451-460.

Add more citations

References found in this work

Add more references