Negative translations not intuitionistically equivalent to the usual ones
classification
🧮 math.LO
keywords
equivalentintuitionisticallynegativetranslationsonesusualcharacteriseconjecture
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.