Copies of Classical Logic in Intuitionistic Logic
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...
Bewaard in:
| Hoofdauteur: | |
|---|---|
| Formaat: | Article ou chapitre numérique |
| Taal: | Français |
| Gepubliceerd in: |
2015
|
| Online toegang: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |