Annals of Pure and Applied Logic 142 (1):125-201 (2006)

Abstract
I present a new syntactical method for proving the Interpolation Theorem for the implicational fragment of intuitionistic logic and its substructural subsystems. This method, like Prawitz’s, works on natural deductions rather than sequent derivations, and, unlike existing methods, always finds a ‘strongest’ interpolant under a certain restricted but reasonable notion of what counts as an ‘interpolant’
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2005.12.014
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,401
Through your library

References found in this work BETA

Basic Proof Theory.A. S. Troelstra - 2000 - Cambridge University Press.
Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
Basic Proof Theory.Roy Dyckhoff - 2001 - Bulletin of Symbolic Logic 7 (2):280-280.

View all 12 references / Add more references

Citations of this work BETA

On the Recognizing Power of the Lambek Calculus with Brackets.Makoto Kanazawa - 2018 - Journal of Logic, Language and Information 27 (4):295-312.

Add more citations

Similar books and articles

Deduction Theorems for Weak Implicational Logics.M. W. Bunder - 1982 - Studia Logica 41 (2-3):95 - 108.
Implicational F-Structures and Implicational Relevance Logics.A. Avron - 2000 - Journal of Symbolic Logic 65 (2):788-802.
The Shortest Possible Length of the Longest Implicational Axiom.Dolph Ulrich - 1996 - Journal of Philosophical Logic 25 (1):101 - 108.
Lattices of Implicational Logics.A. Karpenko - 1992 - Bulletin of the Section of Logic 21 (3).

Analytics

Added to PP index
2013-12-31

Total views
5 ( #1,168,065 of 2,445,913 )

Recent downloads (6 months)
1 ( #457,040 of 2,445,913 )

How can I increase my downloads?

Downloads

My notes