A Syntactic Proof of Cut‐Elimination For GLlin
Author:
- 1 January 1986
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 32 (7-9) , 137-144
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- The modal logic of provability: Cut-eliminationJournal of Philosophical Logic, 1983
- Modal tableau calculi and interpolationJournal of Philosophical Logic, 1983
- A Cut-Free Sequential System for the Propositional Modal Logic of Finite ChainsPublications of the Research Institute for Mathematical Sciences, 1983
- THE MODAL LOGIC OF CONSISTENCY ASSERTIONS OF PEANO ARITHMETICMathematical Logic Quarterly, 1983
- On the proof theory of the modal logic for arithmetic provabilityThe Journal of Symbolic Logic, 1981