✦ LIBER ✦

Structural completeness of Gödel's and Dummett's propositional calculi

✍ Scribed by Wojciech Dzik; Andrzej Wroński

Publisher: Springer Netherlands
Year: 1973
Tongue: English
Weight: 201 KB
Volume: 32
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf02123815

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Completeness of Łukasiewicz-Tarski propo

Completeness of Łukasiewicz-Tarski propositional calculi

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

Connections between some notions of comp

Connections between some notions of completeness of structural propositional calculi

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

On the structural completeness of some p

On the structural completeness of some pure implicational propositional calculi

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

Proof of structural completeness of a ce

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

✍ Tadeusz Prucnal 📂 Article 📅 1973 🏛 Springer Netherlands 🌐 English ⚖ 153 KB

Concerning the notion of completeness of

Concerning the notion of completeness of invariant propositional calculi

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

The simple substitution property of Göde

The simple substitution property of Gödel's intermediate propositional logicsSn's

✍ Katsumi Sasaki 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 480 KB

The simple substitution property provides a systematic and easy method for proving a theorem from the additional axioms of intermediate propositional logics. There have been known only four intermediate logics that have the additional axioms with the property. In this paper, we reformulate the many