Eight inference rules for implication

DOI10.1007/S11225-018-9821-9OpenAlexW2888205906WikidataQ129399617 ScholiaQ129399617MaRDI QIDQ2323641FDOQ2323641

Authors: Michael Arndt 

Publication date: 3 September 2019

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-018-9821-9

Recommendations

• Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
• On structural inference rules for Gentzen-style natural deduction. I
• On structural features of the implication fragment of Frege's \textit{Grundgesetze}
• Generic modal cut elimination applied to conditional logics

zbMATH Keywords

sequent calculusalternative logical rulesanalyticity of cutground sequents

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Structural proof theory. With an appendix by Aarne Ranta
• Untersuchungen über das logische Schliessen. II
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
• Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus
• Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
• Analytic cut
• An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic
• Gentzen's proof systems: byproducts in a work of genius

Cited In (4)

• Eight rules for implication elimination
• Proof-theoretic semantics: an autobiographical survey
• Comments on the contributions
• A Classification of Improper Inference Rules

Uses Software

• Pesca

This page was built for publication: Eight inference rules for implication

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2323641)