通过归约到一阶单类逻辑的二阶经典和直觉主义逻辑完备性定理的简单证明
逻辑
2009-05-07 v1
摘要
我们提出了一种比通常方法更简单的方式，从一阶逻辑的完备性定理推导出二阶经典逻辑的完备性定理。我们还将我们的方法推广到二阶直觉主义逻辑的情形。
引用
@article{arxiv.0905.0758,
title = {Simple proof of the completeness theorem for second order classical and intuitionictic logic by reduction to first-order mono-sorted logic},
author = {Karim Nour and Christophe Raffalli},
journal= {arXiv preprint arXiv:0905.0758},
year = {2009}
}