✦ LIBER ✦

A non-axiomatizability result in algebraic logic

✍ Scribed by S. Crvenković; R. Sz. Madarász

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Example of a Non-Axiomatizable Many V

✍ Andrzej Mostowski 📂 Article 📅 1961 🏛 John Wiley and Sons 🌐 English ⚖ 262 KB 👁 1 views

A decidability result in algebraic langu

✍ Robert Townsend 📂 Article 📅 1974 🏛 Springer 🌐 English ⚖ 215 KB

A logical model of genetic activities in

✍ I.C. Bǎianu 📂 Article 📅 1977 🏛 Springer 🌐 English ⚖ 537 KB

A logic of implications in algebra and c

✍ Jiří Adámek; Manuela Sobral; Lurdes Sousa 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 316 KB

A note on a Bombieri-type result in alge

✍ Jürgen G. Hinz 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 262 KB

A non-commutative non-cocommutative Hopf

✍ Bodo Pareigis 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 818 KB