𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Redundancy in logic I: CNF propositional formulae

✍ Scribed by Paolo Liberatore

Publisher
Elsevier Science
Year
2005
Tongue
English
Weight
223 KB
Volume
163
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Isomorphic formulae in classical proposi
Isomorphic formulae in classical propositional logic
✍ Kosta DoΕ‘en; Zoran PetriΔ‡ πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 170 KB

## Abstract 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.