✦ LIBER ✦

Proof of structural completeness of a certain class of implicative propositional calculi

✍ Scribed by Tadeusz Prucnal

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Connections between some notions of comp

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

Concerning the notion of completeness of

✍ Witold A. Pogorzelski 📂 Article 📅 1974 🏛 Springer Netherlands 🌐 English ⚖ 213 KB

A correction to my paper "Connections be

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

A proof of completeness of the two-value

✍ W. Sadowski 📂 Article 📅 1961 🏛 Springer Netherlands 🌐 English ⚖ 36 KB