Not Incompatible Logics

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 ?
Type de document :
Communication dans un congrès
Liste complète des métadonnées

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

Identifiants

  • HAL Id : hal-01463138, version 1

Citation

Olivier Hermant. Not Incompatible Logics. the GI-Dagstuhl Seminars : Universality of Proofs, Oct 2016, Dagstuhl, Germany. ⟨hal-01463138⟩

Partager

Métriques

Consultations de la notice

379

Téléchargements de fichiers

9