A Classification of Improper Inference Rules

DOI10.18778/0138-0680.2022.12MaRDI QIDQ6200440zbMATH OpenOpenAlexFDO

Authors Katsumi Sasaki

Publication date 29 February 2024

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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)

Recommendations

• A Sequent Systems without Improper Derivations
• On structural inference rules for Gentzen-style natural deduction. I
• scientific article; zbMATH DE number 2064306
• Eight inference rules for implication
• Rules in relevant logic. I: Semantic classification

Cites work

• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• A Sequent Systems without Improper Derivations
• A formal theory of the logical values. I
• A survey of nonstandard sequent calculi
• Ackermann's implication for typefree logic
• Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen

Cited in

(1)

• A Sequent Systems without Improper Derivations

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

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