通过切消证明组合真值理论的保守性
逻辑
2013-08-02 v1 计算机科学中的逻辑
摘要
我们提出了一种切消论证，证明了关于真值的组合公理（不含扩展归纳公理）相对于任何解释弱算术子系统的理论具有保守性。在此过程中，我们还修正了 Halbach 原始表述中的一个关键错误。我们的方法表明，接受这些公理会导致无真值语句的证明长度发生超指数级的缩减。
引用
@article{arxiv.1308.0168,
title = {Conservativity for theories of compositional truth via cut elimination},
author = {Graham E. Leigh},
journal= {arXiv preprint arXiv:1308.0168},
year = {2013}
}
备注
18 pages