𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Gödel's contribution to the justification of leibniz' notion of the infinitesimals

✍ Scribed by Curt C. Christian

Publisher
Elsevier Science
Year
1984
Tongue
English
Weight
277 KB
Volume
11
Category
Article
ISSN
0315-0860

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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