✦ LIBER ✦

Concerning the notion of completeness of invariant propositional calculi

✍ Scribed by Witold A. Pogorzelski

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Connections between some notions of comp

✍ Marek Tokarz 📂 Article 📅 1973 🏛 Springer Netherlands 🌐 English ⚖ 646 KB

Completeness of Łukasiewicz-Tarski propo

✍ Alan Rose 📂 Article 📅 1950 🏛 Springer 🌐 English ⚖ 209 KB

Structural completeness of Gödel's and D

✍ Wojciech Dzik; Andrzej Wroński 📂 Article 📅 1973 🏛 Springer Netherlands 🌐 English ⚖ 201 KB

On the structural completeness of some p

✍ Tadeusz Prucnal 📂 Article 📅 1972 🏛 Springer Netherlands 🌐 English ⚖ 230 KB

A correction to my paper "Connections be

✍ Marek Tokarz 📂 Article 📅 1975 🏛 Springer Netherlands 🌐 English ⚖ 29 KB

Some results concerning finite model sep

✍ Ronald Harrop 📂 Article 📅 1976 🏛 Springer Netherlands 🌐 English ⚖ 654 KB