- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
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 itLinks
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
A short proof of Glivenko theorems for intermediate predicate logics.Christian Espíndola - 2013 - Archive for Mathematical Logic 52 (7-8):823-826.
On the Craig-Lyndon interpolation theorem.Arnold Oberschelp - 1968 - Journal of Symbolic Logic 33 (2):271-274.
The Craig-Lyndon interpolation theorem in 3-valued logic.R. R. Rockingham Gill - 1970 - Journal of Symbolic Logic 35 (2):230-238.
An extension of the Craig-Lyndon interpolation theorem.Leon Henkin - 1963 - Journal of Symbolic Logic 28 (3):201-216.
An Extension of the Craig-Lyndon Interpolation Theorem.Leon Henkin - 1965 - Journal of Symbolic Logic 30 (1):98-99.
Craig's interpolation theorem for the intuitionistic logic and its extensions—A semantical approach.Hiroakira Ono - 1986 - Studia Logica 45 (1):19-33.
Leon Henkin. An extension of the Craig-Lyndon interpolation theorem. The journal of symbolic logic, vol. 28 no. 3 , pp. 201–216.M. A. Taitslin - 1965 - Journal of Symbolic Logic 30 (1):98-99.
Craig Interpolation Theorem Fails in Bi-Intuitionistic Predicate Logic.Grigory K. Olkhovikov & Guillermo Badia - 2024 - Review of Symbolic Logic 17 (2):611-633.
An extended joint consistency theorem for a nonconstructive logic of partial terms with definite descriptions.Raymond D. Gumb - 2001 - Studia Logica 69 (2):279-292.
The Craig interpolation theorem for prepositional logics with strong negation.Valentin Goranko - 1985 - Studia Logica 44 (3):291 - 317.
Analytics
Added to PP
2009-01-28
Downloads
263 (#79,663)
6 months
16 (#217,919)
2009-01-28
Downloads
263 (#79,663)
6 months
16 (#217,919)
Historical graph of downloads
Citations of this work
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. Cham, Switzerland: Springer. pp. 101-20.
Postponement of $$mathsf {}$$ and Glivenko’s Theorem, Revisited.Giulio Guerrieri & Alberto Naibo - 2019 - Studia Logica 107 (1):109-144.
A short proof of the strong normalization of classical natural deduction with disjunction.René David & Karim Nour - 2003 - Journal of Symbolic Logic 68 (4):1277-1288.
References found in this work
Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-2nz2h uwo