✦ LIBER ✦

The Superintuitionistic Predicate Logic of Finite Kripke Frames Is Not Recursively Axiomatizable

✍ Scribed by Dmitrij Skvortsov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the predicate logics of finite Kripke

✍ D. Skvortsov 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 544 KB

On Non-axiomatizability of Superintuitio

✍ Skvortsov, D. 📂 Article 📅 2006 🏛 Oxford University Press 🌐 English ⚖ 158 KB

On Non-axiomatizability of Superintuitio

✍ Skvortsov, D. 📂 Article 📅 2006 🏛 Oxford University Press 🌐 English ⚖ 158 KB

On a fragment of intuitionistic logic wh

✍ P. A. Schreiner 📂 Article 📅 2000 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 641 KB