Isomorphic Formulae in Classical Propositional Logic

Details Isomorphic Formulae in Classical Propositional Logic Isomorphic Formulae in Classical Propositional Logic

2009-12-07

arxiv.org/abs/0912.1271v3

Mathematics

Logic

15 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Isomorphic Formulae in Classical Propositional Logic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Isomorphic Formulae in Classical Propositional Logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Isomorphic Formulae in Classical Propositional Logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-243566