• DocumentCode
    1133267
  • Title

    Methods for Automated Theorem Proving in Nonclassical Logics

  • Author

    Morgan, Charles G.

  • Author_Institution
    Department of Philosophy, University of Victoria
  • Issue
    8
  • fYear
    1976
  • Firstpage
    852
  • Lastpage
    862
  • Abstract
    In this paper we outline two basic methods for automated theorem proving in nonclassical logics, including modal, many-valued, relevance, and intuitionistic logics. We discuss advantages and disadvantages of each method and give several illustrative examples. We outline a procedure for attacking more complex problems using a combination of the two basic methods. Results of experimental applications of the techniques are reported.
  • Keywords
    Inductive logic, intuitionism, modal logic, relevance logic, theorem proving.; Artificial intelligence; Automation; Conferences; Fuzzy logic; Multivalued logic; Inductive logic, intuitionism, modal logic, relevance logic, theorem proving.;
  • fLanguage
    English
  • Journal_Title
    Computers, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9340
  • Type

    jour

  • DOI
    10.1109/TC.1976.1674704
  • Filename
    1674704
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1133267