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
- Image
- Kindl-Treppe Aug2021d.jpg
Sources (3)
via Wikidata · CC0
Connections
first-order logic
Entity
semantic theory of truth
Entity
mathematical logic
Entity
Willard Van Orman Quine
Entity
injection
Entity
Gödel's incompleteness theorems
Entity
surjective function
Entity
countable set
Entity
Peano axioms
Entity
formal system
Entity
Zermelo–Fraenkel set theory
Entity
rule of inference
Entity
recursive set
Entity
Löwenheim–Skolem theorem
Entity
well-formed formula
Entity
semantics of logic
Entity
recursively enumerable set
Entity
structure
Entity
theory
Entity
diagram
Entity