✦ LIBER ✦

The decision problem for the logic of predicates and of operations

✍ Scribed by Yu. Sh. Gurevich

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Logical Simplicity of Predicates

✍ Goodman, Nelson 📂 Fiction 📅 0 🌐 English ⚖ 344 KB

Reduction of the decision problem of the

✍ J. Surányi 📂 Article 📅 1971 🏛 Springer Netherlands 🌐 English ⚖ 399 KB

The Notion of Logical Consequence in the

✍ John P. Cleave 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 902 KB

Comparing decision problem for various p

✍ Agnes Kurucz 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 255 KB

The contraction rule and decision proble

✍ Eiji Kiriyama; Hlroakira Ono 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 975 KB

The decision problem of provability logi

✍ Vítězslav Švejdar 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 161 KB