不用肯定前件律做证明：切割消除的组合与复杂性导论
逻辑
2009-09-25 v1
摘要
本文旨在向广大数学读者介绍切割消除。Gentzen 的切割消除定理不如其应得的那样为人所知，且它与许多有趣的数学结构相连。我们特别试图指出切割消除的某些动力与组合方面，以及它与复杂性理论的联系。我们讨论两个可看到带切割短证明结构的具体例子，其一关于可行数，另一关于实分析中的“有界平均振荡”。
引用
@article{arxiv.math/9607204,
title = {Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination},
author = {Alessandra Carbone and S. Semmes},
journal= {arXiv preprint arXiv:math/9607204},
year = {2009}
}