Logic bậc hai
Sign in to saveAlso known as second-order predicate logic
extension of first-order logic allowing quantification over functions and relations
In the Vinony graph
Vinony's link graph records 416 inbound references to Logic bậc hai, and connects out to first-order logic, semantic theory of truth and mathematical logic.
Vinony files it under Charles Sanders Peirce and Systems of formal logic.
Vinony links it to 15 Wikipedia language editions.
Wikidata facts
- Subclass of
- higher-order logic
- Image
- Kindl-Treppe Aug2021d.jpg
Show 1 more fact
- studied by
- mathematics
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