Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Herbrand's theorem · Vinony

🌐English

English Deutsch Français Italiano Polski Português Türkçe Русский 한국어 中文日本語

EntityQ1930577· pop 9· linked from 10 articles

Herbrand's theorem

reduction of first-order mathematical logic to propositional logic

Connections

cut-elimination

Herbrand structure

Categories

Metatheorems Proof theory Theorems in the foundations of mathematics

Sources

wikipedia.externallinksexternallink

International Standard Book Number

Entity

mathematical logic

propositional calculus

formal language

first-order logic

Springer Science+Business Media

existential quantification

Gerhard Gentzen

Jacques Herbrand

automated theorem proving

compactness theorem

sequent calculus

higher-order logic

prenex normal form

Sign in to save

What links here10 pages

Herbrand structure

Jacques Herbrand

compactness theorem

Herbrand interpretation

Davis–Putnam algorithm

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Herbrand interpretation

Entitydist 0.44

Entitydist 0.50

Herbrand structure

Entitydist 0.52

Gödel's ontological proof

Entitydist 0.54

Aristotelian logic

Entitydist 0.54

Richard Jeffrey

Entitydist 0.55

dialectical logic

Entitydist 0.56

Jacques Herbrand

Entitydist 0.57

Category:Theorems in the foundations of mathematics

Entitydist 0.57

Entitydist 0.58

Entitydist 0.58

Entitydist 0.59