Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:alsoKnownAs |
higher-order logic
|
| gptkbp:basedOn |
gptkb:lambda_calculus
|
| gptkbp:contrastsWith |
gptkb:first-order_logic
|
| gptkbp:developedBy |
gptkb:Alonzo_Church
|
| gptkbp:formedBy |
gptkb:Church's_simple_theory_of_types
|
| gptkbp:hasApplication |
formal semantics
automated theorem proving proof assistants |
| gptkbp:hasFeature |
higher-order quantification
typed variables |
| https://www.w3.org/2000/01/rdf-schema#label |
classical type theory
|
| gptkbp:introducedIn |
1940
|
| gptkbp:supports |
quantification over functions
quantification over predicates |
| gptkbp:usedIn |
gptkb:logic
computer science |
| gptkbp:bfsParent |
gptkb:linear_type_theory
|
| gptkbp:bfsLayer |
5
|