关注我们：

solidot新版网站常见问题，请点击这里查看。

A Cut-free sequent calculus for modal logic S5. (arXiv:1711.04634v2 [math.LO] UPDATED)

来源于:arXiv
Providing a cut-free sequent calculus for S5 has a long history. The efforts in this direction are numerous, and each of them presents some difficulties. In this paper, we present a sequent calculus system for modal logic S5. It has in a sense subformula property. We show that the cut rule is admissible in this system. 查看全文>>