✦ LIBER ✦

The Logics’ Explorer: aMaplepackage for exploring finite many-valued propositional logics

✍ Scribed by Eugenio Roanes-Lozano; José Antonio Alonso; Antonio Hernando; Luis M. Laita; Eugenio Roanes-Macías

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Tableaus with Invertible Rules for Many‐

✍ J. Sakalauskaitė 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 127 KB

The Complete Axiomatisation of any Many-

✍ John Williamson 📂 Article 📅 1976 🏛 John Wiley and Sons 🌐 English ⚖ 481 KB 👁 1 views

Compactness theorems for finitely-many-v

✍ George Weaver 📂 Article 📅 1978 🏛 Springer Netherlands 🌐 English ⚖ 255 KB

Many-Place Sequent Calculi for Finitely-

✍ Alexej P. Pynko 📂 Article 📅 2010 🏛 SP Birkhäuser Verlag Basel 🌐 English ⚖ 424 KB

The search for the maximum upper zero fo

✍ N.A Sokolov 📂 Article 📅 1981 🏛 Elsevier Science ⚖ 859 KB

Automatic triangulation of plane regions

✍ L. I. Yushchuk 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 567 KB