✦ LIBER ✦

A Comprehensive Picture of the Decidability of Mereological Theories

✍ Scribed by Hsing-chien Tsai

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The decidability of mechanical theories

✍ G. P. Dishkant 📂 Article 📅 1969 🏛 Springer US 🌐 English ⚖ 86 KB

A Remark Concerning Decidability of Comp

✍ Antoni Janiczak 📂 Article 📅 1950 🏛 Association for Symbolic Logic 🌐 English ⚖ 281 KB

DECIDABILITY OF THE UNIVERSAL AND POSITI

✍ Makanin, G S 📂 Article 📅 1985 🏛 Turpion ⚖ 685 KB

Mereological bundle theory and the ident

✍ Anthony Shiver 📂 Article 📅 2013 🏛 Springer Netherlands 🌐 English ⚖ 170 KB

On the decidability of equational theori

✍ V. Yu. Popov 📂 Article 📅 1998 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 451 KB

On decidability of the decomposability p

✍ Andrey S. Morozov; Denis K. Ponomaryov 📂 Article 📅 2010 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 181 KB