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 | Intermediate logic MH normalization Glivenko theorem Craig-Lyndon interpolation theorem |
| Categories | (categorize this paper) |
| DOI | 10.2307/2274019 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 70,130
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - projecteuclid.org [2] (no proxy)
- journals.cambridge.org (no proxy)
- jstor.org (no proxy)
- jstor.org [2] (no proxy)
- jstor.org [3] (no proxy)
- cambridge.org (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
Citations of this work BETA
Subformula and Separation Properties in Natural Deduction Via Small Kripke Models: Subformula and Separation Properties.Peter Milne - 2010 - Review of Symbolic Logic 3 (2):175-227.
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.
Postponement of $$Mathsf {}$$ and Glivenko’s Theorem, Revisited.Giulio Guerrieri & Alberto Naibo - 2019 - Studia Logica 107 (1):109-144.
A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic.Luiz C. Pereira, Edward H. Haeusler, Vaston G. Costa & Wagner Sanz - 2010 - Studia Logica 96 (1):95-108.
View all 10 citations / Add more citations
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.
Interpolation Properties of Superintuitionistic Logics.Larisa L. Maksimova - 1979 - Studia Logica 38 (4):419 - 428.
Natural Deduction: A Proof-Theoretical Study.Dag Prawitz - 1965 - Stockholm, Sweden: Dover Publications.
Applications of Weak Kripke Semantics to Intermediate Consequences.Wolfgang Rautenberg - 1986 - Studia Logica 45 (1):119 - 134.
Analytics
Added to PP index
2009-01-28
Total views
243 ( #45,499 of 2,506,475 )
Recent downloads (6 months)
1 ( #416,791 of 2,506,475 )
2009-01-28
Total views
243 ( #45,499 of 2,506,475 )
Recent downloads (6 months)
1 ( #416,791 of 2,506,475 )
How can I increase my downloads?
Downloads
