Resolution and the origins of structural reasoning: Early proof-theoretic ideas of Hertz and Gentzen
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Bulletin of Symbolic Logic 8 (2):246-265 (2002)
In the 1920s, Paul Hertz (1881-1940) developed certain calculi based on structural rules only and established normal form results for proofs. It is shown that he anticipated important techniques and results of general proof theory as well as of resolution theory, if the latter is regarded as a part of structural proof theory. Furthermore, it is shown that Gentzen, in his first paper of 1933, which heavily draws on Hertz, proves a normal form result which corresponds to the completeness of prepositional SLD-resolution in logic programming
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
References found in this work BETA
No references found.
Citations of this work BETA
Curtis Franks (2011). Cut as Consequence. History and Philosophy of Logic 31 (4):349-379.
Similar books and articles
Àngel J. Gil & Jordi Rebagliato (2000). Protoalgebraic Gentzen Systems and the Cut Rule. Studia Logica 65 (1):53-89.
C. F. M. Vermeulen (2000). Text Structure and Proof Structure. Journal of Logic, Language and Information 9 (3):273-311.
Sara Negri & Jan von Plato (2001). Structural Proof Theory. Cambridge University Press.
Peter Schroeder-Heister (2006). Validity Concepts in Proof-Theoretic Semantics. Synthese 148 (3):525 - 571.
Yde Venema (1995). Meeting Strength in Substructural Logics. Studia Logica 54 (1):3 - 32.
Alessandra Carbone (2006). Group Cancellation and Resolution. Studia Logica 82 (1):73 - 93.
W. W. Tait (2005). Gödel's Reformulation of Gentzen's First Consistency Proof for Arithmetic: The No-Counterexample Interpretation. Bulletin of Symbolic Logic 11 (2):225-238.
Frederik Voetmann Christiansen (2006). Heinrich Hertz's Neo-Kantian Philosophy of Science, and its Development by Harald Høffding. Journal for General Philosophy of Science 37 (1):1 - 20.
Grigori Mints (1993). Resolution Calculus for the First Order Linear Logic. Journal of Logic, Language and Information 2 (1):59-83.
Added to index2009-01-28
Total downloads7 ( #149,772 of 1,088,810 )
Recent downloads (6 months)1 ( #69,666 of 1,088,810 )
How can I increase my downloads?