A form of feasible interpolation for constant depth Frege systems
Journal of Symbolic Logic 75 (2):774-784 (2010)
| 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,875 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesJan Krajíček (1997). Interpolation Theorems, Lower Bounds for Proof Systems, and Independence Results for Bounded Arithmetic. Journal of Symbolic Logic 62 (2):457-486.
Jan Krajiček (1994). Lower Bounds to the Size of Constant-Depth Propositional Proofs. Journal of Symbolic Logic 59 (1):73-86.
Małgorzata Porębska (1986). Interpolation and Amalgamation Properties in Varieties of Equivalential Algebras. Studia Logica 45 (1):35 - 38.
Jan Krajicek (1994). Lower Bounds to the Size of Constant-Depth Propositional Proofs. Journal of Symbolic Logic 59 (1).
Jan Krajicek (2001). Tautologies From Pseudo-Random Generators. Bulletin of Symbolic Logic 7 (2):197-212.
Gerard R. Renardel de Lavalette (2008). Interpolation in Computing Science: The Semantics of Modularization. Synthese 164 (3).
Gerard R. Renardel De Lavalette (2008). Interpolation in Computing Science: The Semantics of Modularization. Synthese 164 (3):437 - 450.
Frank Wolter (1997). A Note on the Interpolation Property in Tense Logic. Journal of Philosophical Logic 26 (5):545-551.
Maria Luisa Bonet & Samuel R. Buss (1993). The Deduction Rule and Linear and Near-Linear Proof Simulations. Journal of Symbolic Logic 58 (2):688-709.
Balder Ten Cate (2005). Interpolation for Extended Modal Languages. Journal of Symbolic Logic 70 (1):223 - 234.
Larisa L. Maksimova (1979). Interpolation Properties of Superintuitionistic Logics. Studia Logica 38 (4):419 - 428.
Linh Anh Nguyen (2001). Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD. Studia Logica 69 (1):41-57.
Matthias Schirn (2006). Concepts, Extensions, and Frege's Logicist Project. Mind 115 (460):983-1006.
Giovanna D.’Agostino (2008). Interpolation in Non-Classical Logics. Synthese 164 (3).
Giovanna D'Agostino (2008). Interpolation in Non-Classical Logics. Synthese 164 (3):421 - 435.
Analytics
Monthly downloads |
Added to index2010-09-12Total downloads2 ( #234,778 of 556,840 )Recent downloads (6 months)1 ( #64,931 of 556,840 )How can I increase my downloads? |
My notes
Discussion
