On the proof theory of the intermediate logic MH

Journal of Symbolic Logic 51 (3):626-647 (1986)
  Copy   BIBTEX


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



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A proof–theoretic study of the correspondence of hybrid logic and classical logic.H. Kushida & M. Okada - 2006 - Journal of Logic, Language and Information 16 (1):35-61.
On two problems of Harvey Friedman.Tadeusz Prucnal - 1979 - Studia Logica 38 (3):247 - 262.
Goal-directed proof theory.Dov M. Gabbay - 2000 - Boston: Kluwer Academic. Edited by Nicola Olivetti.
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
On fragments of Medvedev's logic.Miros>law Szatkowski - 1981 - Studia Logica 40 (1):39 - 54.
Intermediate logic.David Bostock - 1997 - New York: Oxford University Press.


Added to PP

259 (#75,477)

6 months
13 (#184,769)

Historical graph of downloads
How can I increase my downloads?