Graduate studies at Western
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 . 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||Intermediate logic MH normalization Glivenko theorem Craig-Lyndon interpolation theorem|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
H. 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):35-61.
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.
Added to index2009-01-28
Total downloads4 ( #189,862 of 751,156 )
Recent downloads (6 months)1 ( #62,995 of 751,156 )
How can I increase my downloads?