A Classification of Improper Inference Rules

DOI10.18778/0138-0680.2022.12OpenAlexW4283382912MaRDI QIDQ6200440

Katsumi Sasaki

Publication date: 29 February 2024

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.2022.12

zbMATH Keywords

natural deductionsequent systemimproper inference rule

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Cites Work

• Unnamed Item
• A survey of nonstandard sequent calculi
• A formal theory of the logical values. I
• Ackermann's Implication for Typefree Logic
• Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen
• A Sequent Systems without Improper Derivations

This page was built for publication: A Classification of Improper Inference Rules