We are happy to announce the English translation of Arend Heyting’s paper, «La conception intuitionniste de la logique», published by Les Études philosophiques, Nouvelle Série, 11e Année, No. 2 (Avril/Juin 1956), pp. 226-233 © Presses Universitaires de France/Humensis, 1956.
The translation was drafted by Claude-3.5-Sonnet-200k and carefully further edited by Philippe Balbiani, Hans van Ditmarsch, Dick de Jongh and Yanjing Wang. The editors thank the journal and the publisher for their approval and for their permission to put this version online.
Click here to download the English translation, and click here for the original French version.