higher-order logic
Sign in to saveAlso known as HOL, higher order simple predicate logic
form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics
Wikidata facts
Show 1 more fact
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/higher-order-logic
Sources (2)
via Wikidata · CC0
Connections
first-order logic
Entity
semantic theory of truth
Entity
mathematical logic
Entity
propositional calculus
Entity
power set
Entity
quantifier
Entity
aleph number
Entity
formal system
Entity
recursive set
Entity
soundness
Entity
semantics of logic
Entity
structure
Entity
diagram
Entity
ground expression
Entity
mathematics
Entity
logic
Entity
Bertrand Russell
Entity
International Standard Book Number
Entity
natural number
Entity
set theory
Entity