Not Incompatible Logics

Olivier Hermant (1, 2)

1 CRI - Centre de Recherche en Informatique
2 Mines Paris - PSL (École nationale supérieure des mines de Paris)

- 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 ?

Mots clés: Logics; Formal proofs; Provers; Reusability; Interoperability; Logical frameworks; Proof formats; Translation

Domaines: Logique en informatique [cs.LO]; Calcul formel [cs.SC]

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