Eight inference rules for implication

DOI10.1007/s11225-018-9821-9OpenAlexW2888205906WikidataQ129399617 ScholiaQ129399617MaRDI QIDQ2323641

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)

Uses Software

• Pesca

Cites Work

• Unnamed Item
• 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
• Untersuchungen über das logische Schliessen. II
• Gentzen's Proof Systems: Byproducts in a Work of Genius
• An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
• Analytic cut

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