带等号相继式演算的切割消除与非延长性质
逻辑
2017-05-03 v1 计算机科学中的逻辑
摘要
我们展示了莱布尼茨的不可分辨原则与根岑的原创工作如何引向相继式演算对带等号一阶逻辑的扩展，并研究了切割消除性质。此外，我们讨论并改进了Lifshitz与Orevkov的非延长性质。
引用
@article{arxiv.1705.00693,
title = {The Cut Elimination and the Nonlengthening Property for the Sequent Calculus with Equality},
author = {Franco Parlamento and Flavio Previale},
journal= {arXiv preprint arXiv:1705.00693},
year = {2017}
}
备注
30 pages Presented to Logic Colloquium 2016 (Leeds)