Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen
From MaRDI portal
Publication:3149962
DOI10.2307/2693965zbMath1005.03004OpenAlexW4249736578MaRDI QIDQ3149962
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
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