Notes on constructive negation (Q2500818)

This article contains many interesting historical remarks connected to constructive negations. First, it is observed that Russell's \textit{The Principles of Mathematics} (1903) contains a clear presentation of intuitionistic implication calculus, with a discussion on Peirce's law and the conjecture that it is independent from the other laws. One would like to know however how much of it was independent of the work of Peirce (which was probably known to Russell). The second topic is a presentation of the work of Dragalin and students on embeddings of classical arithmetic and analysis into intuitionistic negationless mathematics. The last part presents in detail the subtle treatment of negations in Markov's school and Markov's own proof of the admissibility of Markov's rule.