Skip to main content
SpringerLink
Log in

The KRIPKE automated theorem proving system

  • Extended Abstracts Of Current Deduction Systems
  • Conference paper
  • First Online:
8th International Conference on Automated Deduction (CADE 1986)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 230))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

References

  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. S.C. Kleene, Introduction to Metamathematics, North-Holland, Amsterdam, 1952.

    Google Scholar 

  3. S.A. Kripke, “The Problem of Entailment”, (Abstract), Journal of Symbolic Logic, 24 (1959), 324.

    Google Scholar 

  4. G.J. McGovern, Automatic Theorem-Proving for Some Non-Classical Logics, M.A. Thesis, La Trobe University, 1984.

    Google Scholar 

  5. M.A. McRobbie, A Proof Theoretic Investigation of Relevant and Modal Logics, Ph.D. Thesis, Australian National University, 1979.

    Google Scholar 

  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. R.K. Meyer, Topics in Modal and Many-Valued Logics, Ph.D. Thesis, University of Pittsburgh, 1966.

    Google Scholar 

  8. P.B. Thistlewaite, Automated Theorem-Proving in Non-Classical Logics, Ph.D. Thesis, Australian National University, 1984.

    Google Scholar 

  9. P.B. Thistlewaite, M.A. McRobbie and R.K. Meyer, Automated Theorem-Proving in Non-Classical Logics, Manuscript, 1985.

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Automated Reasoning Project Research School of Scoial Sciences, Australian National University, GPO Box 4, 2601, Canberra, ACT, Australia

    Paul B. Thistlewaite, Michael A. McRobbie & Robert K. Meyer

Authors
  1. Paul B. Thistlewaite
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael A. McRobbie
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Robert K. Meyer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jörg H. Siekmann

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Thistlewaite, P.B., McRobbie, M.A., Meyer, R.K. (1986). The KRIPKE automated theorem proving system. In: Siekmann, J.H. (eds) 8th International Conference on Automated Deduction. CADE 1986. Lecture Notes in Computer Science, vol 230. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16780-3_147

Download citation

  • DOI: https://doi.org/10.1007/3-540-16780-3_147

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16780-8

  • Online ISBN: 978-3-540-39861-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation