A Classification of Improper Inference Rules
From MaRDI portal
Publication:6200440
Recommendations
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
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)