Cut free sequent calculus for logic S5n(ED)
Cut free sequent calculus for logic S5n(ED)
复制标题
逻辑 S5n(ED) 的自由连续微积分
DOI：
10.15388/lmr.2010.61
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
H. Giedra
中科院分区：
文献类型：
--
作者：
H. Giedra
本文研究了逻辑S5n（ED）的Hilbert型、Gentzen型序列和Kanger型序列演算。构造了根岑型序列微积分，并证明了它与Hilbert型系统的等价性，得到了根岑型系统的完备性。定义了Kanger型索引序贯演算用于切消。
Hilbert style, Gentzen style sequent and Kanger style sequent calculi for logic S5n(ED) are considered in this paper. Gentzen style sequent calculus is constructed and its equivalence with Hilbert style system is proved, getting soundness and completeness of Gentzen style system. Kanger style indexed sequent calculus is defined for cut elimination.