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
- Subclass of
- predicate logic
Show 2 more facts
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/higher-order-logic
Sources (2)
via Wikidata · CC0