ICC 25427
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora - UE
artículos
Título:
Proof Normalisation in a Logic Identifying Isomorphic Propositions
Autor/es:
GILLES DOWEK; DÍAZ CARO, ALEJANDRO
Revista:
Leibniz International Proceedings in Informatics (LIPIcs)
Editorial:
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik
Referencias:
Lugar: Dagstuhl; Año: 2019 vol. 131 p. 1 - 23
ISSN:
1868-8969
Resumen:
We define a fragment of propositional logic where isomorphic propositions, such as A wedge B and B wedge A, or A ==> (B wedge C) and (A ==> B) wedge (A ==> C) are identified. We define System I, a proof language for this logic, and prove its normalisation and consistency.
