保守翻译的普遍性
逻辑
2012-11-29 v2 计算机科学中的逻辑
摘要
我们研究了Feitosa和D'Ottaviano引入的逻辑间保守翻译的概念。我们证明了经典命题逻辑(CPC)具有普适性，即可数公式集上的任何有穷后承关系都能被保守翻译到CPC中。如果该后承关系是可判定的，则该翻译是可计算的。更一般地，我们证明了可以采用包含文献中研究的大多数非经典逻辑的一大类逻辑（完全Lambek演算FL的某个片段的扩充）来代替CPC，因此在某种意义上，（几乎）任意两个合理的演绎系统都可以相互保守翻译。我们还提供了一些反例，特别是次协调逻辑LP不是普适的。
引用
@article{arxiv.1108.6263,
title = {The ubiquity of conservative translations},
author = {Emil Jeřábek},
journal= {arXiv preprint arXiv:1108.6263},
year = {2012}
}
备注
15 pages; to appear in Review of Symbolic Logic