𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The meaning of the quantifiers in the logic of Leśniewski

✍ Scribed by Guido Küng

Publisher
Springer Netherlands
Year
1977
Tongue
English
Weight
927 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
A propositional fragment of Leśniewski's ontology and its formulation by the tableau method
✍ 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