双直觉逻辑 2Int 的无切割相继式演算
计算机科学中的逻辑
2020-10-01 v1 逻辑
摘要
本文旨在引入一种双直觉相继式演算，并给出其结构规则可容许性的证明。我将提出的演算称为 SC2Int，是双直觉逻辑 2Int 的相继式演算。该逻辑的演算代表了一种双边主义推理，因为它们不仅内化了验证或可证性过程，也以内化了对偶过程——即证伪或所谓的对偶可证性。2Int 自然演绎演算的范式定理已被给出，在本文中我希望证明 SC2Int 的切割消除定理，即若成功，这将拓展现有结果。
引用
@article{arxiv.2009.14787,
title = {A cut-free sequent calculus for the bi-intuitionistic logic 2Int},
author = {Sara Ayhan},
journal= {arXiv preprint arXiv:2009.14787},
year = {2020}
}
备注
33 pages