Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

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

sequent calculus · Vinony

🌐English

English Deutsch Español Français Polski Português Русский 한국어 中文日本語

EntityQ1771121· pop 14· linked from 399 articles

sequent calculus

style of formal logical argumentation

Available in 14 languages

Español
Français
Deutsch
中文
日本語
Русский
Português
Esperanto
Hungarian
Lithuanian
Polski

Connections

propositional calculus

Categories

Automated theorem proving Logical calculi Proof theory

Sources

wikipedia.externallinksexternallink

via Wikidata sitelinks · CC0

quantifier

Entity

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

Sign in to save

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