Repository | Journal | Volume | Articles
(2014) Philosophia Scientiae 18 (3).
La logique classique (la logique des mathématiques non-constructives) est plus forte que la logique intuitionniste (la logique des mathématiques constructives). Malgré cela, il existe des copies de la logique classique dans la logique intuitionniste. Toutes les copies habituellement trouvées dans la littérature sont les mêmes. Ce qui soulève la question suivante : la copie est-elle unique ? Nous répondons négativement en présentant trois copies différentes.
Publication details
DOI: 10.4000/philosophiascientiae.963
Full citation:
Gaspar, J. (2014). Copies of classical logic in intuitionistic logic. Philosophia Scientiae 18 (3), pp. 5-11.
This document is available at an external location. Please follow the link below. Hold the CTRL button to open the link in a new window.
