𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Leśniewski's work and nonclassical set theories

✍ Scribed by F. G. Asenjo


Book ID
105468937
Publisher
Springer Netherlands
Year
1977
Tongue
English
Weight
460 KB
Volume
36
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


A propositional fragment of Leśniewski's
✍ Mitsunori Kobayashi; Arata Ishimoto 📂 Article 📅 1982 🏛 Springer Netherlands 🌐 English ⚖ 938 KB

The propositional fragment E1 of Legniewski's ontology is the smallest class (of formulas) containing besides all the instances of tautology the formulas o~ the forms: z(a,b) D ~(a,a), ~(a,b)^r e(a,c) and ~(a,b)Ar ~(b,a) being closed under detachment. The purpose of this paper is to furnish another

Shall Work Set Us Free?
✍ Angela Cunningham 📂 Article 📅 1981 🏛 John Wiley and Sons ⚖ 1010 KB