Eight inference rules for implication

DOI10.1007/S11225-018-9821-9MaRDI QIDQ2323641zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

sequent calculusalternative logical rulesanalyticity of cutground sequents

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

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

Cites work

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

Cited in

(4)

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

Describes a project that uses

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)