✦ LIBER ✦

Algebraic Counterparts for Some Properties of Superintuitionistic Predicate Logics

✍ Scribed by D.E. Tishkovskii

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Algebraic semantics for superintuitionis

✍ D. E. Tishkovskii 📂 Article 📅 1999 🏛 Springer US 🌐 English ⚖ 883 KB

Kripke Sheaf Completeness of some Superi

✍ Dmitrij Skvortsov 📂 Article 📅 2012 🏛 Springer Netherlands 🌐 English ⚖ 298 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

Development of n-tuple algebra for logic

✍ A. A. Zuenko; A. Ya. Fridman 📂 Article 📅 2009 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 278 KB

Minimal Characteristic Algebras for Some

✍ J. Płonka 📂 Article 📅 2002 🏛 Springer ⚖ 100 KB