Abstract : - Two Incompatible Logics : Constructivism, Classicism
- The Root of the Problem
- Double Negation Translations
- More Refinments
- More Insights
- Mixed Logics
- Mixing Logics
- We don’t care about theorems
- Still Unsatisfied ?
https://hal-mines-paristech.archives-ouvertes.fr/hal-01463138
Contributeur : Claire Medrala
<>
Soumis le : jeudi 9 février 2017 - 14:00:02
Dernière modification le : lundi 12 novembre 2018 - 11:00:59