ICC 25427
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
A logic identifying isomorphic propositions
Autor/es:
ALEJANDRO DÍAZ CARO
Lugar:
Bernal
Reunión:
Encuentro; 2do Encuentro de Fundamentos de Lenguajes de Programación (FunLeP); 2019
Institución organizadora:
Grupo FunLeP
Resumen:
We have defined a fragment of propositional logic where isomorphic propositions, such as A∧B and B∧A, or A⇒(B∧C) and (A⇒B)∧(A⇒C) are identified. Then we defined System I, a proof language for this logic, and prove its normalisation and consistency.
