对统一、简化与扩展自证逻辑若干结果的方法的详细考察
逻辑
2012-01-04 v8
摘要
本文将发展一个统一的框架，用于统一、简化和扩展我们先前关于公理系统的结果，这些系统通过自洽性的公理声明来保留对其自身自洽性的部分知识。其或许最令人惊讶的新结果将是它对传统反射原理的一种可行替代方案的探索。
引用
@article{arxiv.1108.6330,
title = {A Detailed Examination of Methods for Unifying, Simplifying and Extending Several Results About Self-Justifying Logics},
author = {Dan E. Willard},
journal= {arXiv preprint arXiv:1108.6330},
year = {2012}
}
备注
64 pages