A Sequent Systems without Improper Derivations

DOI10.18778/0138-0680.2021.21OpenAlexW3207903955MaRDI QIDQ6162080

Katsumi Sasaki

Publication date: 15 June 2023

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.2021.21

zbMATH Keywords

natural deductionsequent systemimproper derivation

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Related Items (1)

A Classification of Improper Inference Rules

Cites Work

• Unnamed Item
• Unnamed Item
• Untersuchungen über das logische Schliessen. I
• 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

This page was built for publication: A Sequent Systems without Improper Derivations