During the 1940s, a debate about the intuitionistic definition of negation took place between G .F. C. Griss and L. E. J. Brouwer: namely, Griss criticized Brouwer's definition as inconsistent with the intuitionistic framework. In this paper I present firstly Brouwer's definition of negation; then Griss' criticism of it and his proposal of a "negationless" mathematics; finally Brouwer's reply to Griss.
"Brouwer and Griss on intuitionistic negation." Mod. Log. 4 (3) 256 - 265, July 1994.