second-order logic
Sign in to saveAlso known as second-order predicate logic
extension of first-order logic allowing quantification over functions and relations
Wikidata facts
- Subclass of
- higher-order logic
- Image
- Kindl-Treppe Aug2021d.jpg
Show 1 more fact
- studied by
- mathematics
Sources (3)
via Wikidata · CC0