Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Not Incompatible Logics

Olivier Hermant 1, 2
1 CRI - Centre de Recherche en Informatique
2 MINES ParisTech - École nationale supérieure des mines de Paris
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 ?
Keywords : Logics Formal proofs Provers Reusability Interoperability Logical frameworks Proof formats Translation
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 : jeudi 24 septembre 2020 - 16:36:02

Annexe

Identifiants

  • HAL Id : hal-01463138, version 1

Collections

ENSMP | ENSMP_CRI | PARISTECH | INSTITUT-TELECOM | PSL

Citation

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

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

407

Téléchargements de fichiers

9