A Classification of Improper Inference Rules

DOI10.18778/0138-0680.2022.12OpenAlexW4283382912MaRDI QIDQ6200440FDOQ6200440

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

• Title not available (Why is that?)
• 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
• 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)