Title :
Methods for Automated Theorem Proving in Nonclassical Logics
Author :
Morgan, Charles G.
Author_Institution :
Department of Philosophy, University of Victoria
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.;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1976.1674704
