Leśniewski's systems of logic
GPTKB entity
Statements (22)
Predicate | Object |
---|---|
gptkbp:instanceOf |
logical system
|
gptkbp:component |
gptkb:dictionary
mereology protothetic |
gptkbp:consistsOf |
gptkb:dictionary
mereology protothetic |
gptkbp:countryOfOrigin |
gptkb:Poland
|
gptkbp:developedBy |
gptkb:Stanisław_Leśniewski
|
gptkbp:field |
gptkb:logic
gptkb:philosophy |
gptkbp:firstPublished |
1920s
|
https://www.w3.org/2000/01/rdf-schema#label |
Leśniewski's systems of logic
|
gptkbp:influenced |
gptkb:Alfred_Tarski
gptkb:Polish_school_of_logic logic of parts and wholes |
gptkbp:language |
Polish
|
gptkbp:relatedTo |
gptkb:set_theory
gptkb:formal_ontology axiomatic systems |
gptkbp:bfsParent |
gptkb:Polish_school_of_logic
|
gptkbp:bfsLayer |
8
|