1 problem

0 votes0 replies1 view
The conjecture that all negative translations are intuitionistically equivalent
Negative-translation equivalence conjecture. If the notion of a negative translation into $\mathsf{IL}$ is rigorously defined, then all negative translations are equivalent in…
Conjecturerefutedclassical-logic intuitionistic-logic negative-translationarXiv posted 2 days ago

The conjecture that all negative translations are intuitionistically equivalent