A logic identifying isomorphic propositions - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year : 2018

A logic identifying isomorphic propositions


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.
Fichier principal
Vignette du fichier
withdraw.pdf (53.4 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01109104 , version 1 (24-01-2015)
hal-01109104 , version 2 (23-02-2015)
hal-01109104 , version 3 (15-06-2015)
hal-01109104 , version 4 (08-08-2018)
hal-01109104 , version 5 (27-08-2018)



Alejandro Díaz-Caro, Gilles Dowek. A logic identifying isomorphic propositions. 2018. ⟨hal-01109104v5⟩
315 View
713 Download



Gmail Facebook X LinkedIn More