否定翻訳
nagative translation
#翻訳
#直観主義論理
#古典論理
Kolmogorov翻訳
Gödel-Gentzen翻訳
黒田翻訳
Krivine翻訳
2011. Ferreira, Oliva : On various negative translations.