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.

sequent calculus · Vinony

EntityQ1771121· pop 14· linked from 399 articles

sequent calculus

Sign in to save

style of formal logical argumentation

Connections

propositional calculus

first-order logic

rule of inference

free and bound variables

cut-elimination

Artificial intelligence

computer science

International Standard Book Number

digital object identifier

mathematical logic

Categories

Automated theorem proving Logical calculi Proof theory

Sources

wikipedia.externallinksexternallink

Similar entities

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

Entitydist 0.43

lambda calculus

Entitydist 0.43

Situation calculus

Entitydist 0.46

Entitydist 0.46

simply typed lambda calculus

Entitydist 0.47

propositional formula

Entitydist 0.47

Entitydist 0.47

paraconsistent logic

Entitydist 0.49

logical language

Entitydist 0.49

combinatory logic

Entitydist 0.49

classical logic

Entitydist 0.52

dialogical logic

Entitydist 0.53

What links here399 pages

cut-elimination

rule of inference

axiomatic system

algebra of sets

three-valued logic

Mostowski collapse lemma

Cantor's paradox

computer-assisted proof

deduction theorem

continuum hypothesis

superseded scientific theory

compactness theorem

proof of impossibility

logical contradiction

material implication

Courcelle's theorem