Herbrand's theorem
Sign in to savereduction of first-order mathematical logic to propositional logic
In the Vinony graph
Within Vinony's link graph, Herbrand's theorem is referenced by 10 other articles, and connects out to cut-elimination, Herbrand structure and International Standard Book Number.
It is catalogued under topics including Metatheorems, Proof theory and Theorems in the foundations of mathematics.
Its subject is documented across 9 Wikipedia language editions.
Wikidata facts
- Instance of
- theorem
- Part of
- list of theorems
- Named after
- Jacques Herbrand
Show 2 more facts
- facet of
- mathematical logic
- maintained by WikiProject
- WikiProject Mathematics
Sources (1)
via Wikidata · CC0
Connections
cut-elimination
Entity
Herbrand structure
Entity
International Standard Book Number
Entity
mathematical logic
Entity
propositional calculus
Entity
formal language
Entity
tautology
Entity
first-order logic
Entity
Springer Science+Business Media
Entity
existential quantification
Entity
validity
Entity
Gerhard Gentzen
Entity
term
Entity
Jacques Herbrand
Entity
automated theorem proving
Entity
compactness theorem
Entity
sequent calculus
Entity
completeness
Entity
higher-order logic
Entity
prenex normal form
Entity