✦ LIBER ✦

Classification of derivable propositional formulas

✍ Scribed by A. S. Anikeev

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

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

The diagrams of formulas of the intuitio

✍ Anita Wasilewska 📂 Article 📅 1973 🏛 Springer Netherlands 🌐 English ⚖ 222 KB

On the recognition of the tautological n

✍ P. Yu. Suvorov 📂 Article 📅 1980 🏛 Springer US 🌐 English ⚖ 405 KB