✦ LIBER ✦

Redundancy in logic II: 2CNF and Horn propositional formulae

✍ Scribed by Paolo Liberatore

Publisher: Elsevier Science
Year: 2008
Tongue: English
Weight: 417 KB
Volume: 172
Category: Article
ISSN: 0004-3702
DOI: 10.1016/j.artint.2007.06.003

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Redundancy in logic I: CNF propositional

Redundancy in logic I: CNF propositional formulae

✍ Paolo Liberatore 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 223 KB

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.