Isomorphic Formulae in Classical Propositional Logic - Mathematics > LogicReport as inadecuate




Isomorphic Formulae in Classical Propositional Logic - Mathematics > Logic - Download this document for free, or read online. Document in PDF available to download.

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.



Author: K. Dosen, Z. Petric

Source: https://arxiv.org/



DOWNLOAD PDF




Related documents