基于非经典逻辑的 Gödel 第二不完备定理的一些抽象版本
逻辑
2016-02-19 v1
摘要
我们研究 Gödel 第二不完备定理的抽象版本，并给出 Löb 可推导性条件的推广，这些推广适用于弱于经典逻辑的逻辑。我们分离出收缩规则在 Gödel 定理中的作用，并给出一个基于无收缩的模态逻辑系统的（玩具）示例，该示例使 Gödel 的论证失效。
引用
@article{arxiv.1602.05728,
title = {Some abstract versions of G\"odel's second incompleteness theorem based on non-classical logics},
author = {Lev Beklemishev and Daniyar Shamkanov},
journal= {arXiv preprint arXiv:1602.05728},
year = {2016}
}
备注
16 pages