Negative Translations Not Intuitionistically Equivalent to the Usual Ones

作者：Gaspar Jaime^*

来源：Studia Logica, 2013, 101(1): 45-63.

DOI：10.1007/s11225-011-9367-6

• Negative translation
• Classical logic
• Intuitionistic logic
• Minimal logic
• Negative fragment

We refute the conjecture that all negative translations are intuitionistically equivalent by giving two counterexamples. Then we characterise the negative translations intuitionistically equivalent to the usual ones.

• 出版日期2013-2