Hilbert's new problem

Bulletin of the Section of Logic

Volumn 30, Issue 3, 2001, Pages 165-175

  Wos, Larry ^a   Thiele, Ruediger ^b  

^a ARGONNE NATIONAL LABORATORY   (United States)

^b UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

Au tomated reasoning; Hilbert's twenty fourth problem; Proof simplification

Indexed keywords

EID: 0012834627     PISSN: 01380680     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (11)

1. B. Fitelson and L. Wos, Axiomatic Proofs through Automated Reasoning, Bulletin of the Section of Logic 29/3 (2000), pp. 125-136.
2. E. J. Lemmon, C. A. Meredith, D. Meredith, A. N. Prior and I. Thomas, Calculi of Pure Strict Implication, Philosophy Department, Canterbury University College, Christchurch, New Zealand, 1957. i+22 pp. (mimeographed).
3. J. Alukasiewicz, Selected Works, edited by L. Borokowski, North Holland, Amsterdam, 1970.
4. W. McCune, OTTER 3.0 Reference Manual and Guide, Tech. Report ANL-94/6, Argonne National Laboratory, Argonne, IL, 1994.
5. C. A. Meredith, Single Axioms for the Systems (C,N), (C,O), and (A,N) of the Two-Valued Propositional Calculus, J. Computing Systems 1, no. 3 (1953), pp. 155-164.
6. C. A. Meredith and A. Prior, Notes on the Axiomatics of the Propositional Calculus, Notre Dame J. Formal Logic 4, no. 3 (1963), pp. 171-187.
7. C. A. Meredith and A. N. Prior, Investigations into Implicational S5, Z. Math. Logik Grundlagen Math. 10 (1964), pp. 203-220.
8. R. Thiele and L. Wos, Hilbert's Twenty-Fourth Problem, Preprint ANL/MCS-P899-0801, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL, 2001.
9. R. Vero®, Using Hints to Increase the E®ectiveness of an Automated Reasoning Program: Case Studies, J. Automated Reasoning 16, no. 3 (1996), pp. 223-239.
10. L. Wos, The Resonance Strategy, Computers and Mathematics with Applications 29, no. 2 (February 1995), pp. 133-178.
11. L. Wos, The strategy of Cramming, Preprint ANL/MCS-P8980801, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL, 2001.