关于带无穷推导的模态逻辑K+的结构证明论
逻辑
2024-11-25 v1
摘要
我们考虑将传递闭包模态逻辑K+扩展以包含某些无穷推导,并为该扩展给出一个允许非良基证明的相继式演算。对所给演算,我们沿所谓连续消去割的证明路线得到了割消去定理。我们的考量也涵盖K+的普通证明,因为它们对应于所呈现相继式演算的循环无割证明。
引用
@article{arxiv.2310.10309,
title = {On structural proof theory of the modal logic K+ extended with infinitary derivations},
author = {Daniyar Shamkanov},
journal= {arXiv preprint arXiv:2310.10309},
year = {2024}
}