𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A propositional fragment of Leśniewski's ontology

✍ Scribed by Arata Ishimoto

Publisher
Springer Netherlands
Year
1977
Tongue
English
Weight
786 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

A semantical investigation into Leśniews
A semantical investigation into Leśniewski's axiom of his ontology
✍ Mitio Takano 📂 Article 📅 1985 🏛 Springer Netherlands 🌐 English ⚖ 342 KB

A structure zr for the language ~, which is the first-or4er language (without equality) whose only nonlogical symbol is the binary predicate symbol ~, is called a quasi s-structure iff (a) the universe lzr of .4 consists of sets and (b) a r b is true in zCe~(3p) [a = {p} &p e b] for every a and b in