✦ LIBER ✦

On the recognition of the tautological nature of propositional formulas

✍ Scribed by P. Yu. Suvorov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Note on the Existence of Tautologies i

✍ Alan Rose 📂 Article 📅 1976 🏛 John Wiley and Sons 🌐 English ⚖ 140 KB 👁 1 views

The diagrams of formulas of the intuitio

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

On the tautological ring of ℳg

✍ Eduard Looijenga 📂 Article 📅 1995 🏛 Springer-Verlag 🌐 English ⚖ 515 KB

The diagrams of formulas of the modal pr

✍ Anita Wasilewska 📂 Article 📅 1972 🏛 Springer Netherlands 🌐 English ⚖ 308 KB

On some bandwidth restricted versions of

✍ V. Arvind; S. Biswas 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 797 KB

Algorithms for testing the satisfiabilit

✍ Giorgio Gallo; Giampaolo Urbani 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 590 KB