[deleted] comments on Overcoming the Loebian obstacle using evidence logic

[[deleted]]

The Double-Negation Translation says that a classically equivalent proposition does hold in intuitionistic logic.