✦ LIBER ✦

Decidability of the Admissibility Problem for Inference Rules in SomeS5t-Logics

✍ Scribed by A. V. Kosheleva

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Decidability of the admissibility proble

✍ V. V. Rybakov 📂 Article 📅 1984 🏛 Springer US 🌐 English ⚖ 968 KB

An admissibility criterion for inference

✍ A. N. Rutskii 📂 Article 📅 2007 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 201 KB

An explicit basis for admissible inferen

✍ V. V. Rimatskii 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 302 KB

An explicit basis for the admissible inf

✍ V. V. Rimatskiĭ 📂 Article 📅 2009 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 161 KB

The decidability of admissibility proble

✍ S. V. Babenyshev 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 834 KB

Decidability of the interpolation proble

✍ L. L. Maksimova 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 330 KB