自由海廷代数中的嵌入与直觉主义命题逻辑中的翻译
逻辑
2007-05-23 v1
摘要
我们找到了一个具有特别良好性质的翻译，从可数多个变量的直觉主义命题逻辑到两个变量的直觉主义命题逻辑。此外，证明了从任意可数逻辑到两个变量的直觉主义命题逻辑存在一个可能不那么良好的翻译。证明了不存在一个从经典逻辑到直觉主义命题逻辑的翻译，该翻译保持“与”和“或”但不必保持“真”。这些关于翻译的结果源于关于自由海廷代数中嵌入的附加结果。
引用
@article{arxiv.math/0702651,
title = {Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic},
author = {Michael O'Connor},
journal= {arXiv preprint arXiv:math/0702651},
year = {2007}
}
备注
16 pages; will be presented at Logical Foundations of Computer Science '07