Untersuchungen �ber das logische Schlie�en. II

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

paper · doi:10.1007/bf01201363

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