Skip to Main content Skip to Navigation
Conference papers

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 ?
Complete list of metadata

https://hal-mines-paristech.archives-ouvertes.fr/hal-01463138
Contributor : Claire Medrala <>
Submitted on : Thursday, February 9, 2017 - 2:00:02 PM
Last modification on : Thursday, September 24, 2020 - 4:36:02 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

420

Files downloads

9