Leśniewski's logical systems
GPTKB entity
Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logical_system
|
| gptkbp:developedBy |
gptkb:Poland
gptkb:Stanisław_Leśniewski early 20th century |
| gptkbp:field |
gptkb:logic
|
| gptkbp:includes |
gptkb:dictionary
mereology protothetic |
| gptkbp:influencedBy |
gptkb:Russell's_paradox
|
| gptkbp:language |
Polish
|
| gptkbp:notableFor |
hierarchical structure
formal rigor |
| gptkbp:bfsParent |
gptkb:Protothetic
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Leśniewski's logical systems
|