4 citations
2 papers
math.HO2017★ 4 cited
Predicativity and parametric polymorphism of Brouwerian implication
Mark van Atten
A common objection to the definition of intuitionistic implication in the Proof Interpretation is that it is impredicative. I discuss the history of that objection, argue that in B…
math.HO2015★ 1 cited
L.E.J. Brouwer's `Unreliability of the logical principles'. A new translation, with an introduction
Mark van Atten, Göran Sundholm
We present a new English translation of L.E.J. Brouwer's paper `De onbetrouwbaarheid der logische principes' (The unreliability of the logical principles) of 1908, together with a…