Not Incompatible Logics - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année :

Not Incompatible Logics

(1, 2)
1
2

Résumé

- 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 ?
Vignette du fichier
E-416-slides.pdf (132.16 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01463138 , version 1 (09-02-2017)

Identifiants

  • HAL Id : hal-01463138 , version 1

Citer

Olivier Hermant. Not Incompatible Logics. the GI-Dagstuhl Seminars : Universality of Proofs, Oct 2016, Dagstuhl, Germany. ⟨hal-01463138⟩
245 Consultations
5 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More