On the proof theory of the intermediate logic MH
Journal of Symbolic Logic 51 (3):626-647 (1986)
| Abstract | A natural deduction formulation is given for the intermediate logic called MH by Gabbay in [4]. Proof-theoretic methods are used to show that every deduction can be normalized, that MH is the weakest intermediate logic for which the Glivenko theorem holds, and that the Craig-Lyndon interpolation theorem holds for 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,865 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesH. Kushida & M. Okada (2007). A Proof–Theoretic Study of the Correspondence of Hybrid Logic and Classical Logic. Journal of Logic, Language and Information 16 (1).
Wolfgang Rautenberg (1986). Applications of Weak Kripke Semantics to Intermediate Consequences. Studia Logica 45 (1):119 - 134.
David Bostock (1997). Intermediate Logic. Oxford University Press.
Nick Bezhanishvili (2008). Frame Based Formulas for Intermediate Logics. Studia Logica 90 (2):139 - 159.
Miros>law Szatkowski (1981). On Fragments of Medvedev's Logic. Studia Logica 40 (1):39 - 54.
Dag Prawitz (1965/2006). Natural Deduction: A Proof-Theoretical Study. Dover Publications.
Dov M. Gabbay (2000). Goal-Directed Proof Theory. Kluwer Academic.
Tadeusz Prucnal (1979). On Two Problems of Harvey Friedman. Studia Logica 38 (3):247 - 262.
Larisa L. Maksimova (1979). Interpolation Properties of Superintuitionistic Logics. Studia Logica 38 (4):419 - 428.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #180,324 of 556,772 )Recent downloads (6 months)1 ( #64,754 of 556,772 )How can I increase my downloads? |
My notes
Discussion
