Resolution and the origins of structural reasoning: Early proof-theoretic ideas of Hertz and Gentzen

Bulletin of Symbolic Logic 8 (2):246-265 (2002)
  Copy   BIBTEX

Abstract

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Gentzen-type systems, resolution and tableaux.Arnon Avron - 1993 - Journal of Automated Reasoning 10:265-281.
Heinrich Hertz’s Neo-Kantian Philosophy of Science, and its Development by Harald Høffding.Frederik Voetmann Christiansen - 2006 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 37 (1):1 - 20.
Meeting strength in substructural logics.Yde Venema - 1995 - Studia Logica 54 (1):3 - 32.
Text structure and proof structure.C. F. M. Vermeulen - 2000 - Journal of Logic, Language and Information 9 (3):273-311.
Resolution calculus for the first order linear logic.Grigori Mints - 1993 - Journal of Logic, Language and Information 2 (1):59-83.

Analytics

Added to PP
2009-01-28

Downloads
66 (#222,759)

6 months
2 (#668,348)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.
Cut as Consequence.Curtis Franks - 2010 - History and Philosophy of Logic 31 (4):349-379.
A Survey of Nonstandard Sequent Calculi.Andrzej Indrzejczak - 2014 - Studia Logica 102 (6):1295-1322.

View all 17 citations / Add more citations

References found in this work

Foundations of Logic Programming.J. W. Lloyd - 1987 - Journal of Symbolic Logic 52 (1):288-289.
Über Axiomensysteme beliebiger Satzsysteme.P. Hertz - 1929 - Annalen der Philosophie Und Philosophischen Kritik 8 (1):178-204.
Solution to a problem of Ono and Komori.John Slaney - 1989 - Journal of Philosophical Logic 18 (1):103 - 111.

View all 7 references / Add more references