Untersuchungen �ber das logische Schlie�en. I

1935/12/01 by Gerhard Gentzen · 29 citations
Mathematics · Arts and Humanities · #History and Theory of Mathematics #German Literature and Culture Studies

paper · doi:10.1007/bf01201353

Cited by

• 'Yes and no'
• Grokking the Sequent Calculus (Functional Pearl)
• Logic-Guided Socially-aware Robot Navigation World Model
• Ordered Adjoint Logic
• Subreflexive Logic: Completeness without Identity
• Resource control and intersection types: an intrinsic connection
• Machine Learning Guidance and Proof Certification for Connection Tableaux
• The Sequent Calculus Trainer - Helping Students to Correctly Construct Proofs
• Combinatorial Proofs and Decomposition Theorems for First-order Logic
• Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
• Interpolation in Non-Classical Logics
• Probing the "Psyche'' of Large Reasoning Models: Understanding Through a Human Lens
• Intuitionistic Mathematics and Logic
• The Many Worlds of Modal \λ-calculi: I. Curry-Howard for\n Necessity, Possibility and Time
• Semantic Properties of Computations Defined by Elementary Inference Systems
• Tableau vs. Sequent Calculi for Minimal Entailment
• Yet Another Proof of Glivenko's Theorem
• On Permuting Cut with Contraction
• Common knowledge logic in a higher order proof assistant?
• An essay on msic-systems
• Sequent-Type Proof Systems for Three-Valued Default Logic
• Planning Argumentative Texts
• Characterizing Propositional Proofs as Non-Commutative Formulas
• The Power of Regular Constraint Propagation (Technical Report)
• Strategy Preserving Compilation for Parallel Functional Code
• Functionals and hardware
• On the computational complexity of cut-reduction
• Judgment aggregation in non-classical logics
• Admissibility via Natural Dualities