✦ LIBER ✦

Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus

✍ Scribed by Wojciech Buszkowski

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Axiomatizability of Ajdukiewicz-Lambek C

✍ Wojciech Zielonka 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 603 KB

Undecidable properties of extensions of

✍ A. V. Chagrov 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 769 KB

Undecidable properties of extensions of

✍ A. V. Chagrov 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 533 KB

Predicate Logical Extensions of some Sub

✍ Ernst Zimmermann 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 180 KB

On some non-classical extensions of seco

✍ Andrej Ščedrov 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 386 KB

Operational characterization of extensio

✍ Grigoris Antoniou 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 633 KB