Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

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

cut-elimination · Vinony

EntityQ376166· pop 11· linked from 40 articles

cut-elimination

Sign in to save

theorem

Connections

sequent calculus

International Standard Book Number

digital object identifier

logical contradiction

principle of excluded middle

first-order logic

Stephen Cole Kleene

classical logic

Gerhard Gentzen

Categories

Proof theory Theorems in the foundations of mathematics

Sources

wikipedia.externallinksexternallink

What links here40 pages

sequent calculus

natural deduction

Herbrand's theorem

deduction theorem

Gerhard Gentzen

mathematical logic

Łukasiewicz logic

Hilbert's second problem

Kripke semantics

Craig interpolation

Stanisław Jaśkowski

Similar entities

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

Entitydist 0.53

Entitydist 0.58

cutting-plane method

Entitydist 0.58

Entitydist 0.65

Gaussian elimination

Entitydist 0.66

diagonal pliers

Entitydist 0.66

Fourier–Motzkin elimination

Entitydist 0.67

Entitydist 0.67

Entitydist 0.68

15 and 290 theorems

Entitydist 0.69

dead code elimination

Entitydist 0.69

Entitydist 0.69