Automated Theorem Proving for Non-Classical Logics

Relevance Logics

Gentzen and Tableau Methods

Publications

• P.B.Thistlewaite, M.A. McRobbie and R.K. Meyer
  Automated Theorem Proving in Non-Classical Logic, Research Notes in Theoretical Computer Science, Pitman, London, and Wiley, New York, 1987.
• P.B.Thistlewaite, M.A. McRobbie and R.K. Meyer
  An Annotated List of Test Examples for Automated Theorem Provers for Non-Classical Logics, Journal of Automated Reasoning, 6 (1990).
• P.B.Thistlewaite, M.A. McRobbie and R.K. Meyer
  The KRIPKE Automated Theorem Proving System, pp. 705-706 in Proceedings of the 8th International Conference on Automated Deduction, ed. J. Siekmann, Lecture Notes in Computer Science Vol. 230, 1987, Springer, Berlin.

Last modified: 25 May 2000 at 14:30:23 EST