Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

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.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

https://hal.inria.fr/hal-01109104
Contributor : Alejandro Díaz-Caro <>
Submitted on : Monday, August 27, 2018 - 9:41:06 PM
Last modification on : Friday, April 30, 2021 - 9:53:21 AM
Long-term archiving on: : Wednesday, November 28, 2018 - 12:33:49 PM

File

withdraw.pdf
Files produced by the author(s)

Identifiers

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

Citation

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

Share

Metrics

Record views

138

Files downloads

730