带析取词的经典自然演绎强规范化的一个简短证明
逻辑
2009-05-07 v1
摘要
我们给出了一个直接的、纯算术的且初等的证明，证明了完整（即包含所有通常连接词）经典自然演绎的切割消除过程的强规范化。
引用
@article{arxiv.0905.0760,
title = {A short proof of the Strong Normalization of Classical Natural Deduction with Disjunction},
author = {René David and Karim Nour},
journal= {arXiv preprint arXiv:0905.0760},
year = {2009}
}