论文标题
G3i微积分的G4i类似物
The G4i analogue of a G3i calculus
论文作者
论文摘要
本文提供了一种获得一类直觉模态逻辑的终止分析计算的方法。对于具有无剪切的演算G的给定逻辑L，该方法产生了终止分析的演算，该分析是G4IP的扩展而成的，与G. G4ip的扩展相同。因此，本文可以看作是Dyckhoff作品到直觉模态逻辑的扩展。
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.
