Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen

DOI10.2307/2693965zbMath1005.03004OpenAlexW4249736578MaRDI QIDQ3149962

Peter Schroeder-Heister

Publication date: 23 February 2003

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0802-toc.htm

zbMATH Keywords

propositional logicstructural systemsstructural proof theorystructural logic

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Cut-elimination and normal-form theorems (03F05) Classical propositional logic (03B05) History of mathematical logic and foundations (03-03)

Related Items (15)

Gentzen's Proof Systems: Byproducts in a Work of Genius ⋮ Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning ⋮ Inference in Nineteenth-Century British Logic ⋮ The nature of entailment: an informational approach ⋮ Analyticity, balance and non-admissibility of \textit{Cut} in stoic logic ⋮ A Sequent Systems without Improper Derivations ⋮ The original sin of proof-theoretic semantics ⋮ A Classification of Improper Inference Rules ⋮ First-Degree Entailment and Structural Reasoning ⋮ In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs ⋮ From axiomatic logic to natural deduction ⋮ A survey of nonstandard sequent calculi ⋮ The Role of Structural Reasoning in the Genesis of Graph Theory ⋮ Paul Hertz’s Systems of Propositions As a Proof-Theoretical Conception of Logic ⋮ Existential Graphs as a Basis for Structural Reasoning

This page was built for publication: Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen