The KRIPKE automated theorem proving system

  • Paul B. Thistlewaite
  • Michael A. McRobbie
  • Robert K. Meyer
Extended Abstracts Of Current Deduction Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 230)


Modal Logic Decision Procedure Algebraic Model Intuitionistic Logic Relevant Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    A.R. Anderson and N.D. Belnap Jr., Entailment: The Logic of Relevance and Necessity, Vol.1, Princeton University Press, New Jersey, 1975.Google Scholar
  2. 2.
    S.C. Kleene, Introduction to Metamathematics, North-Holland, Amsterdam, 1952.Google Scholar
  3. 3.
    S.A. Kripke, “The Problem of Entailment”, (Abstract), Journal of Symbolic Logic, 24 (1959), 324.Google Scholar
  4. 4.
    G.J. McGovern, Automatic Theorem-Proving for Some Non-Classical Logics, M.A. Thesis, La Trobe University, 1984.Google Scholar
  5. 5.
    M.A. McRobbie, A Proof Theoretic Investigation of Relevant and Modal Logics, Ph.D. Thesis, Australian National University, 1979.Google Scholar
  6. 6.
    M.A. McRobbie, R.K. Meyer and P.B. Thistlewaite, “Computer Aided Investigations into the Decision Problem for Relevant Logics: The Search for a Free Associative Connective”, pp. 236–267 in Proceedings of the Sixth Australian Computer Science Conference, ed. L. Goldschlager, Basser Department of Computer Science, University of Sydney, 1983.Google Scholar
  7. 7.
    R.K. Meyer, Topics in Modal and Many-Valued Logics, Ph.D. Thesis, University of Pittsburgh, 1966.Google Scholar
  8. 8.
    P.B. Thistlewaite, Automated Theorem-Proving in Non-Classical Logics, Ph.D. Thesis, Australian National University, 1984.Google Scholar
  9. 9.
    P.B. Thistlewaite, M.A. McRobbie and R.K. Meyer, Automated Theorem-Proving in Non-Classical Logics, Manuscript, 1985.Google Scholar
  10. 10.
    P.B. Thistlewaite, M.A. McRobbie and R.K. Meyer, “Advanced Theorem-Proving Techniques for Relevant Logics”, Logique et Analyse, 28 (1985), 233–256.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Paul B. Thistlewaite
    • 1
  • Michael A. McRobbie
    • 1
  • Robert K. Meyer
    • 1
  1. 1.Automated Reasoning Project Research School of Scoial SciencesAustralian National UniversityCanberraAustralia

Personalised recommendations