Isomorphic Formulae in Classical Propositional Logic - Mathematics > LogicReportar como inadecuado




Isomorphic Formulae in Classical Propositional Logic - Mathematics > Logic - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: Isomorphism between formulae is defined with respect to categoriesformalizing equality of deductions in classical propositional logic and in themultiplicative fragment of classical linear propositional logic caught by proofnets. This equality is motivated by generality of deductions. Characterizationsare given for pairs of isomorphic formulae, which lead to decision proceduresfor this isomorphism.



Autor: K. Dosen, Z. Petric

Fuente: https://arxiv.org/







Documentos relacionados