针对Wansing的C族逻辑的统一Gentzen方法
计算机科学中的逻辑
2025-01-03 v1
摘要
介绍一种针对基于Wansing基本connexive逻辑C的C族逻辑的Gentzen风格序列计谱和Gentzen风格自然演绎系统。C族逻辑由通过引入Peirce律、排中律和广义排中律从C派生而来。证明了所提出的序列计谱与自然演绎系统之间的等价性。分别为所提出的序列计谱和自然演绎系统建立了剪切消除和归一化定理。
引用
@article{arxiv.2501.00498,
title = {Unified Gentzen Approach to Connexive Logics over Wansing's C},
author = {Norihiro Kamide},
journal= {arXiv preprint arXiv:2501.00498},
year = {2025}
}
备注
In Proceedings NCL'24, arXiv:2412.20053