无切割消去的一致性
逻辑
2007-05-23 v1
摘要
在本注记中，我们将展示如何以纯粹语法的方式得到一阶经典逻辑的一致性，而无需经过切割消去。该过程非常简单，并且它以本质方式使用了结构演算。它也表明了有穷性（在每条规则前提的有限选择的意义下）实际上是平凡的（与从教科书中会猜测的相反）。
引用
@article{arxiv.math/0210387,
title = {Consistency Without Cut Elimination},
author = {Kai Bruennler and Alessio Guglielmi},
journal= {arXiv preprint arXiv:math/0210387},
year = {2007}
}
备注
Home page of the Calculus of Structures: <http://www.ki.inf.tu-dresden.de/~guglielm/Research>