✦ LIBER ✦

Finite axiomatizability of locally tabular superintuitionistic logics

✍ Scribed by A. I. Tsitkin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Two sequences of locally tabular superin

✍ S. I. Mardaev 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 453 KB

Finite approximability of forest superin

✍ Ya. M. Drugush 📂 Article 📅 1984 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 539 KB

Hereditarily finitely axiomatizable exte

✍ V. V. Rybakov 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 775 KB