经典命题逻辑中的同构公式
Isomorphic Formulae in Classical Propositional Logic
摘要：
公式之间的同构是相对于在经典命题逻辑和经典线性命题逻辑的乘法片段捕获的证明网的形式化相等的演绎的范畴来定义的。这种平等是由演绎的一般性所驱动的。刻画给出了对同构公式，从而导致决策程序，这种同构。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
