Intuitionistic and constructivist semantics (Dummett, Martin-Löf) reject the equivalence of 'no winn...