Premium
Isomorphic formulae in classical propositional logic
Author(s) -
Došen Kosta,
Petrić Zoran
Publication year - 2012
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.201020020
Subject(s) - mathematics , propositional variable , multiplicative function , isomorphism (crystallography) , generality , propositional calculus , discrete mathematics , intuitionistic logic , classical logic , intermediate logic , computer science , theoretical computer science , psychology , mathematical analysis , crystal structure , chemistry , psychotherapist , description logic , crystallography
Isomorphism between formulae is defined with respect to categories formalizing equality of deductions in classical propositional logic and in the multiplicative fragment of classical linear propositional logic caught by proof nets. This equality is motivated by generality of deductions. Characterizations are given for pairs of isomorphic formulae, which lead to decision procedures for this isomorphism.