Interpolation properties of superintuitionistic logics
Studia Logica 38 (4):419 - 428 (1979)
| Abstract | A family of prepositional logics is considered to be intermediate between the intuitionistic and classical ones. The generalized interpolation property is defined and proved is the following.Theorem on interpolation. For every intermediate logic L the following statements are equivalent:(i) Craig's interpolation theorem holds in L, (ii) L possesses the generalized interpolation property, (iii) Robinson's consistency statement is true in L. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesSolomon Feferman (2008). Harmonious Logic: Craig's Interpolation Theorem and Its Descendants. Synthese 164 (3):341 - 357.
Małgorzata Porębska (1986). Interpolation and Amalgamation Properties in Varieties of Equivalential Algebras. Studia Logica 45 (1):35 - 38.
Larisa Maksimova (1995). On Variable Separation in Modal and Superintuitionistic Logics. Studia Logica 55 (1):99 - 112.
Jouko Väänänen (2008). The Craig Interpolation Theorem in Abstract Model Theory. Synthese 164 (3):401 - 420.
Larisa Maksimova (1991). Amalgamation and Interpolation in Normal Modal Logics. Studia Logica 50 (3-4):457 - 471.
Larisa Maksimova (2011). Interpolation and Definability Over the Logic Gl. Studia Logica 99 (1-3):249-267.
Giovanna D'Agostino (2008). Interpolation in Non-Classical Logics. Synthese 164 (3):421 - 435.
Giovanna D.’Agostino (2008). Interpolation in Non-Classical Logics. Synthese 164 (3).
Valentin Goranko (1985). The Craig Interpolation Theorem for Prepositional Logics with Strong Negation. Studia Logica 44 (3):291 - 317.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads7 ( #133,637 of 550,802 )Recent downloads (6 months)1 ( #63,425 of 550,802 )How can I increase my downloads? |
My notes
Discussion
