|
gptkbp:instanceOf
|
gptkb:logic
Formal system
|
|
gptkbp:basisFor
|
gptkb:logic
gptkb:Set_theory
Automated theorem proving
Model theory
Proof theory
Classical mathematics
Digital circuit design
|
|
gptkbp:contrastsWith
|
Intuitionistic logic
Paraconsistent logic
Relevant logic
|
|
gptkbp:developedBy
|
19th century
|
|
gptkbp:field
|
gptkb:Mathematics
gptkb:philosophy
Computer Science
|
|
gptkbp:hasApplication
|
gptkb:Linguistics
gptkb:Mathematics
gptkb:artificial_intelligence
gptkb:law
gptkb:philosophy
gptkb:Digital_electronics
Computer Science
Engineering
Cognitive science
|
|
gptkbp:hasAxiom
|
gptkb:Law_of_distributivity
gptkb:Law_of_double_negation
gptkb:Law_of_excluded_middle
gptkb:Law_of_identity
gptkb:Law_of_noncontradiction
gptkb:Principle_of_bivalence
|
|
gptkbp:hasComponent
|
gptkb:First-order_logic
Propositional logic
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Classical Logic
|
|
gptkbp:notableFigure
|
gptkb:Alfred_Tarski
gptkb:Aristotle
gptkb:Bertrand_Russell
gptkb:David_Hilbert
gptkb:George_Boole
gptkb:Gottlob_Frege
|
|
gptkbp:principle
|
gptkb:Double_negation_elimination
gptkb:Law_of_excluded_middle
gptkb:Law_of_identity
gptkb:Law_of_noncontradiction
|
|
gptkbp:uses
|
Bivalent semantics
Truth tables
|
|
gptkbp:bfsParent
|
gptkb:logic
|
|
gptkbp:bfsLayer
|
4
|