✦ LIBER ✦

An explicit basis for the admissible inference rules in the Gödel-Löb logicGL

✍ Scribed by B. R. Fedorishin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An explicit basis for the admissible inf

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

An explicit basis for admissible inferen

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

Construction of an Explicit Basis for Ru

✍ Vladimir V. Rybakov 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 142 KB

A Basis in Semi-Reduced Form for the Adm

✍ Vladimir V. Rybakov; Mehmet Terziler; Vitaliy Remazki 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 252 KB

An admissibility criterion for inference

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