✦ LIBER ✦

Reducing signed propositional formulas

✍ Scribed by G. Aguilera; I. P. de Guzmán; M. Ojeda-Aciego; A. Valverde

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Existence of simple propositional formul

✍ Hans Kleine Büning 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 522 KB

Cut formulas in propositional logic

✍ Wenhui Zhang 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 803 KB

Classification of derivable propositiona

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

On meta complexity of propositional form

✍ Pavel Naumov 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 213 KB

A hierarchy of propositional Horn formul

✍ Bogdan S. Chlebus 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 926 KB

A class of realizable propositional form

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