✦ LIBER ✦

A class of realizable propositional formulas

✍ Scribed by F. L. Varpakhovskii

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A hierarchy of propositional Horn formul

✍ Bogdan S. Chlebus 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 926 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

Existence of simple propositional formul

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

On meta complexity of propositional form

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

Realizability and finite validity of pro

✍ D. P. Skvortsov 📂 Article 📅 1979 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 569 KB