弱直觉逻辑时态逻辑的 Cut 消除
逻辑
2024-05-28 v2 计算机科学中的逻辑
摘要
在本文中，我们使用一种新方法来证明弱直觉逻辑时态逻辑的 cut 消除。该方法侧重于分割收缩规则和 cut 规则。进一步的理论和该方法的应用将在未来发展。
引用
@article{arxiv.2405.09970,
title = {On the Cut Elimination of Weak Intuitionistic Tense Logic},
author = {Yiheng Wang and Yu Peng and Zhe Lin},
journal= {arXiv preprint arXiv:2405.09970},
year = {2024}
}