Not Incompatible Logics - Mines Paris Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Not Incompatible Logics

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 ?
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
8 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More