Skip to main content
SpringerLink
Log in

Automated reasoning and nonclassical logics: Introduction

  • Published:
Journal of Automated Reasoning Aims and scope Submit manuscript

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Anderson A. R. and Belnap N. D.Jr.,Entailment: The Logic of Relevance and Necessity, Vol. 1, Princeton UP, Princeton, New Jersey (1975).

    Google Scholar 

  2. Girard J. Y., ‘Linear logic’,Theoret. Comput. Sci.,50, 1–102 (1987).

    Article  Google Scholar 

  3. Kneale W. and Kneale M.,The Development of Logic, OUP, London, 1962.

    Google Scholar 

  4. Lusk, E. L., McCune, W. W., and Slaney, J. K., ‘ROO — a parallel theorem prover‘, inInformal Proc. of the Internat. Workshop onParallel Processing for AI in Conjunction with IJCAI-91 (eds. L. N. Kanal and C. B. Suttner), Sydney, Australia, pp. 110–116 (dy1991).

  5. McRobbie M. A., Meyer R. K., and Thistlewaite P. B., ‘Towards efficient knowledge-based automated theorem proving for non-standard logics’, inProc. 9th Internat. Conf. Automated Deduction (eds. E.Lusk and R.Overbeek), Lecture Notes in Computer Science, Vol. 310, Springer, Berlin, pp. 197–217 (1988).

    Google Scholar 

  6. Meyer R. K., ‘RI — The bounds of finitude’,Z. Math. Logik Grundlag. Math. 16, 385–387 (1970).

    Google Scholar 

  7. Morgan C., ‘Methods for automated theorem proving in nonclassical logics’,IEEE Trans. Comput.,C-25, 852–862 (1976).

    Google Scholar 

  8. Ohlbach H.-J., ‘Resolution calculus for modal logics’, SEKI Report SR-88-08, Artificial Intelligence Laboratories, Fachbereich Informatik, Universitaet Kaiserslautern, Germany (1988).

    Google Scholar 

  9. Slaney J. K., ‘3088 varieties: A solution to the Ackermann constant problem’,J. Symbolic Logic 50, 487–501 (1984).

    Google Scholar 

  10. Thistlewaite P. B., McRobbie M. A., and Meyer R. K.,Automated Theorem-Proving in Non-Classical Logics, Pitman, London, and Wiley, New York (1988).

    Google Scholar 

  11. Wallen L. A., ‘Matrix proof methods for modal logics’,IJCAI 87: Proc. Tenth Internat. Joint Conf. Artificial Intelligence, Vols. 1 and 2, Morgan Kaufmann, Los Altos (1987).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centre for Information Science Research, Institute of Advanced Studies, Australian National University, GPO Box 4, 2601, Canberra, ACT, Australia

    Michael A. McRobbie

Authors
  1. Michael A. McRobbie
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

McRobbie, M.A. Automated reasoning and nonclassical logics: Introduction. J Autom Reasoning 7, 447–451 (1991). https://doi.org/10.1007/BF01880323

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01880323

Keywords

Search

Navigation