Example image of eyePlorer eyePlorer map for 'Sequent calculus': Formal system Mathematical logic Proof theory Classical logic First-order logic Gerhard Gentzen Intuitionistic logic Natural deduction Consistency Cut-elimination theorem Metatheory Gentzen's consistency proof Gödel's incompleteness theorems Automated theorem proving Judgment (mathematical logic) Higher-order logic Hilbert system Modal logic Propositional calculus Deduction theorem Turnstile (symbol) Sequent Tautology (logic) De Morgan's laws Rule of inference Atomic formula Completeness of atomic initial sequents Law of excluded middle Multiset Sequence Set (mathematics) Substructural logic Completeness If and only if Semantics Soundness Artificial intelligence Computer science Deep inference Proof net Geometry of interaction Monotonicity of entailment Noncommutative logic Proof-theoretic semantics Structural proof theory Idempotency of entailment Jape (software) Proof procedure Linear logic Proof complexity