𝔖 Bobbio Scriptorium
✦   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

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


The simple substitution property of Göde
✍ 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