A proof theoretic proof of Scott's general interpolation theorem
Journal of Symbolic Logic 37 (4):683-695 (1972)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| 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,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesPaolo Gentilini (1999). Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof. Studia Logica 63 (3):301-310.
Peter Schroeder-Heister (2006). Validity Concepts in Proof-Theoretic Semantics. Synthese 148 (3):525 - 571.
Răzvan Diaconescu (2004). An Institution-Independent Proof of Craig Interpolation Theorem. Studia Logica 77 (1):59 - 79.
Solomon Feferman (2008). Harmonious Logic: Craig's Interpolation Theorem and Its Descendants. Synthese 164 (3):341 - 357.
Jonathan P. Seldin (1986). On the Proof Theory of the Intermediate Logic MH. Journal of Symbolic Logic 51 (3):626-647.
Martin Otto (2000). An Interpolation Theorem. Bulletin of Symbolic Logic 6 (4):447-462.
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.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,830 of 549,090 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
