A logic identifying isomorphic propositions

Abstract : There is a mistake in the main proof (strong normalisation), and the system is actually not normalising in its current form, hence, we have withdrawn the draft until we have a fixed version.
Type de document :
Pré-publication, Document de travail
There is a mistake in the main proof (strong normalisation), and the system is actually not norma.. 2018
Liste complète des métadonnées

https://hal.inria.fr/hal-01109104
Contributeur : Alejandro Díaz-Caro <>
Soumis le : lundi 27 août 2018 - 21:41:06
Dernière modification le : samedi 1 septembre 2018 - 01:09:03
Document(s) archivé(s) le : mercredi 28 novembre 2018 - 12:33:49

Fichier

withdraw.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01109104, version 5
  • ARXIV : 1501.06125

Citation

Alejandro Díaz-Caro, Gilles Dowek. A logic identifying isomorphic propositions. There is a mistake in the main proof (strong normalisation), and the system is actually not norma.. 2018. 〈hal-01109104v5〉

Partager

Métriques

Consultations de la notice

32

Téléchargements de fichiers

15