✦ LIBER ✦

A hierarchy of propositional Horn formulas

✍ Scribed by Bogdan S. Chlebus

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Recognizing renamable generalized propos

✍ Thomas Eiter; Pekka Kilpeläinen; Heikki Mannila 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 610 KB

Redundancy in logic II: 2CNF and Horn pr

✍ Paolo Liberatore 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 417 KB

A class of realizable propositional form

✍ F. L. Varpakhovskii 📂 Article 📅 1972 🏛 Springer US 🌐 English ⚖ 650 KB

Classification of derivable propositiona

✍ A. S. Anikeev 📂 Article 📅 1972 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 407 KB

Reducing signed propositional formulas

✍ G. Aguilera; I. P. de Guzmán; M. Ojeda-Aciego; A. Valverde 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 228 KB

A proper hierarchy of propositional sequ

✍ Noriko H. Arai 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 687 KB