𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Contextual determinacy in Leśniewski's grammar

✍ Scribed by M. Machover


Book ID
105489002
Publisher
Springer Netherlands
Year
1966
Tongue
English
Weight
488 KB
Volume
19
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


A semantical investigation into Leśniews
✍ 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