Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen
暂无分享,去创建一个
[1] D. Hilbert. Die logischen Grundlagen der Mathematik , 1922 .
[2] John Slaney. Solution to a problem of Ono and Komori , 1989, J. Philos. Log..
[3] J. W. Lloyd,et al. Foundations of logic programming; (2nd extended ed.) , 1987 .
[4] Paul Hertz. ber Axiomensysteme fr beliebige Satzsysteme: Teil II. Stze hheren Grades , 1923 .
[5] Alexander Leitsch,et al. The Resolution Calculus , 1997, Texts in Theoretical Computer Science An EATCS Series.
[6] P. Herts. Reichen die üblichen syllogistischen regeln für das schließen in der positiven logik elementarer sätze aus? , 1928 .
[7] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[8] G. Gentzen. Untersuchungen über das logische Schließen. I , 1935 .
[9] G. Gentzen,et al. Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen , 1933 .
[10] P. Hertz. Über Axiomensysteme beliebiger Satzsysteme , 1929 .
[11] John Wylie Lloyd,et al. Foundations of Logic Programming , 1987, Symbolic Computation.
[12] P. Hertz. ber Axiomensysteme fr beliebige Satzsysteme: I. Teil. Stze ersten Grades. (ber die Axiomensysteme von der kleinsten Satzzahl und den Begriff des idealen Elementes.) , 1922 .
[13] Shan-Hwei Nienhuys-Cheng,et al. Foundations of Inductive Logic Programming , 1997, Lecture Notes in Computer Science.
[14] P. Hertz. Über Axiomensysteme für beliebige Satzsysteme , 1929 .