Leśniewski's logical systems
GPTKB entity
Statements (15)
Predicate | Object |
---|---|
gptkbp:instanceOf |
logical system
|
gptkbp:developedBy |
gptkb:Poland
gptkb:Stanisław_Leśniewski early 20th century |
gptkbp:field |
gptkb:logic
|
https://www.w3.org/2000/01/rdf-schema#label |
Leśniewski's logical systems
|
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
|