The G4i analogue of a G3i calculus
Logic
2020-11-25 v1
Abstract
This paper provides a method to obtain terminating analytic calculi for a large class of intuitionistic modal logics. For a given logic L with a cut-free calculus G that is an extension of G3ip the method produces a terminating analytic calculus that is an extension of G4ip and equivalent to G. G4ip has been introduced by Dyckhoff in 1992 as a terminating analogue of the calculus G3ip for intuitionistic propositional logic. Thus this paper can be viewed as an extension of Dyckhoff's work to intuitionistic modal logic.
Keywords
Cite
@article{arxiv.2011.11847,
title = {The G4i analogue of a G3i calculus},
author = {Rosalie Iemhoff},
journal= {arXiv preprint arXiv:2011.11847},
year = {2020}
}
Comments
arXiv admin note: text overlap with arXiv:2011.10383