On the proof theory of the intermediate logic MH
- 1 September 1986
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 51 (3) , 626-647
- https://doi.org/10.2307/2274019
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
This publication has 2 references indexed in Scilit:
- Semantic Proof of Craig's Interpolation Theorem for Intuitionistic Logic and Extensions, Part IIPublished by Elsevier ,1971
- Foundations of Mathematical LogicThe Mathematical Gazette, 1964