Protothetic

GPTKB entity

Statements (16)
Predicate Object
gptkbp:instanceOf branch of logic
gptkbp:developedBy gptkb:Stanisław_Leśniewski
gptkbp:focusesOn gptkb:logic
logical constants
quantification over propositional functions
https://www.w3.org/2000/01/rdf-schema#label Protothetic
gptkbp:language Polish
gptkbp:notableFor axiomatic system
generalization of propositional calculus
use of variables for connectives
gptkbp:partOf gptkb:Leśniewski's_logical_systems
gptkbp:precededBy gptkb:ontology_(Leśniewski)
mereology
gptkbp:publishedIn early 20th century
gptkbp:bfsParent gptkb:Stanisław_Leśniewski
gptkbp:bfsLayer 5