Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadata
https://hal-mines-paristech.archives-ouvertes.fr/hal-01463138
Contributor : Claire Medrala Connect in order to contact the contributor
Submitted on : Thursday, February 9, 2017 - 2:00:02 PM
Last modification on : Wednesday, November 17, 2021 - 12:33:02 PM

Annex

Identifiers

  • HAL Id : hal-01463138, version 1

Collections

INSTITUT-TELECOM | ENSMP | ENSMP_CRI | PARISTECH | PSL | ENSMP_DR

Citation

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

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

240

Files downloads

5