Negative Translations Not Intuitionistically Equivalent to the Usual Ones |
| |
| Authors: | Jaime Gaspar |
| |
| Institution: | 1. Arbeitsgruppe Logik, Fachbereich Mathematik, Technische Universit?t Darmstadt, Schlossgartenstrasse 7, 64289, Darmstadt, Germany
|
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
