Untersuchungen �ber das logische Schlie�en. II

1935/12/01 by Gerhard Gentzen · 516 citations
Mathematics · #History and Theory of Mathematics #Mathematics

paper · doi:10.1007/bf01201363

published in Mathematische Zeitschrift 39(1), 405-431 (Springer Science+Business Media)

openalex publication_date 1935/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/25

Cited by

• Grokking the Sequent Calculus (Functional Pearl)
• Inferentialist Game Semantics (Extended Abstract)
• Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
• The Functional Machine Calculus III: Control
• SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus
• Proof theory for sequent-style tableaux: G0- and G3-style sequent calculi and full normalization
• Proof Compression via Subatomic Logic and Guarded Substitutions
• The Disjunction Property for Operational Relevance Logics
• Towards Automated Proof-Theoretic Semantics: Inference-Behaviour Semantics for 3-Dimensional K3 and LP
• Stoic Sequent Logic and Proof Theory
• Advanced Many-Valued Logics
• On a generalized logic calculus
• Hilbert's Program Then and Now
• Natural deduction [wikipedia]
• Sequent [wikipedia]
• Sequent calculus [wikipedia]