Kuroda否定翻译到极小逻辑的变体
逻辑
2013-04-12 v2
摘要
Kuroda否定翻译仅将经典逻辑翻译为直觉主义逻辑，而非极小逻辑。我们提出了Kuroda否定翻译的八种变体，它们甚至能将经典逻辑翻译为极小逻辑。其可靠性定理的证明很有趣，因为它们展示了四种不同的证明方法。
引用
@article{arxiv.1108.0634,
title = {Variants into minimal logic of the Kuroda negative translation},
author = {Jaime Gaspar},
journal= {arXiv preprint arXiv:1108.0634},
year = {2013}
}