✦ LIBER ✦

Canonical formulas for a paraconsistent analog of the Scott logic

✍ Scribed by M. V. Stukachyova

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Kripke completeness of some intermediate

✍ Tatsuya Shimura 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 976 KB

A semiclassical trace formula for the ca

✍ Fernando Parisio; M.A.M. de Aguiar 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 287 KB

A canonical formula for the distribution

✍ Lawrence Corwin; Frederick P. Greenleaf; Richard Penney 📂 Article 📅 1977 🏛 John Wiley and Sons 🌐 English ⚖ 896 KB

Logic-based models of analogical reasoni

✍ Matthias Baaz; Gerald Quirchmayr 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 831 KB