嵌入到自由Heyting代数和翻译为直觉主义命题逻辑
摘要：关于从直觉主义命题逻辑（具有可数个变量）到二变量直觉主义命题逻辑的翻译，我们发现了具有特别良好性质的翻译。此外，我们还证明了存在一种可能不那么好的翻译，可以将任何可数逻辑转化为二变量直觉主义命题逻辑。我们证明了从经典逻辑到直觉主义命题逻辑的翻译不存在，这个翻译既保留了“与”和“或”的性质，但不一定保留“真”的性质。这些关于翻译的结果是通过嵌入到自由Heyting代数的其他结果得出的。
作者：Michael O'Connor
论文ID：math/0702651
分类：Logic
分类简称：math.LO
提交时间：2007-05-23