Equivalential Interpolation
| Abstract | By a consequence relation on a set L of formulas we understand a relation I ââ¬â c p(L) x L satisfying the conditions called 'Overlap', 'Dilution', and 'Cut for Sets' at p.15 of [25]; we do not repeat the conditions here since we are simply fixing notation and the concept of a consequence relation is well known in any case. (The characterization in [25] amounts to that familiar from Tarski's work, except that there is no 'finitariness' restriction to the effect that when I I ââ¬â A, for I c L, A c L, we must have I o I ââ¬â A for some finite I o c I . The presence or absence of this condition makes no difference to anything that follows.) Each language L to be considered will be a sentential language whose formulas are built in the usual way by application of it-ary (primitive) connectives to it simpler formulas, starting with the simplest formulas ââ¬â the propositional variables (or 'sentence letters') ââ¬â not constructed with the aid of connectives. We assume, as usual, that there are countably many such variables, and they will be denoted by p, q, r, ... possibly with numerical subscripts. A consequence relation I- on such an L has the Unrestricted Interpolation Property when for any A, C c L with A I ââ¬â C, there exists B c L with A I ââ¬â B and B I ââ¬â C, such that C is constructed only out of such propositional variables as occur both in A and in C. (Such a B is called an interpolant for A and C.) Note that we take the usual notational liberties here, writing "A I ââ¬â C" (and the like) for "iAi I ââ¬â C", "I, A I ââ¬â C" to mean "I u iAi I ââ¬â C", and "I ââ¬â C" to mean "8 I ââ¬â C". Further, we sometimes abbreviate the claim that A I ââ¬â B and B I ââ¬â C to "A I ââ¬â B I ââ¬â C", and when C is A itself, we always write this simply as "A ââ¬â IIââ¬â B".. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links | This entry has no external links. Add one. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesAndrew M. Pitts (1992). On an Interpretation of Second Order Quantification in First Order Intuitionistic Propositional Logic. Journal of Symbolic Logic 57 (1):33-52.
Ursula Gropp (1988). Coinductive Formulas and a Many-Sorted Interpolation Theorem. Journal of Symbolic Logic 53 (3):937-960.
Beata Konikowska (1990). A Two-Valued Logic for Reasoning About Different Types of Consequence in Kleene's Three-Valued Logic. Studia Logica 49 (4):541 - 555.
Małgorzata Porębska (1986). Interpolation and Amalgamation Properties in Varieties of Equivalential Algebras. Studia Logica 45 (1):35 - 38.
Lloyd Humberstone (2006). Identical Twins, Deduction Theorems, and Pattern Functions: Exploring the Implicative BCsK Fragment of S. Journal of Philosophical Logic 35 (5):435 - 487.
Lloyd Humberstone (2007). Identical Twins, Deduction Theorems, and Pattern Functions: Exploring the Implicative BCsK Fragment of S. Journal of Philosophical Logic 36 (2):435 - 487.
Janusz Czelakowski (1985). Algebraic Aspects of Deduction Theorems. Studia Logica 44 (4):369 - 387.
Katarzyna Slomczyńska (2005). Free Spectra of Linear Equivalential Algebras. Journal of Symbolic Logic 70 (4):1341 - 1358.
I. L. Humberstone (1993). Functional Dependencies, Supervenience, and Consequence Relations. Journal of Logic, Language and Information 2 (4):309-336.
Jan Krajíček (1997). Interpolation Theorems, Lower Bounds for Proof Systems, and Independence Results for Bounded Arithmetic. Journal of Symbolic Logic 62 (2):457-486.
Eva Hoogland & Maarten Marx (2002). Interpolation and Definability in Guarded Fragments. Studia Logica 70 (3):373 - 409.
David Booth (1991). Logical Feedback. Studia Logica 50 (2):225 - 239.
Robin Hirsch, Ian Hodkinson & Roger D. Maddux (2002). Relation Algebra Reducts of Cylindric Algebras and an Application to Proof Theory. Journal of Symbolic Logic 67 (1):197-213.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-12-22Total downloads1 ( #274,651 of 549,068 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
