The Community for Technology Leaders
Green Image
Issue No. 08 - August (1976 vol. 25)
ISSN: 0018-9340
pp: 852-862
C.G. Morgan , Department of Philosophy, University of Victoria
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.
Inductive logic, intuitionism, modal logic, relevance logic, theorem proving.
C.G. Morgan, "Methods for Automated Theorem Proving in Nonclassical Logics", IEEE Transactions on Computers, vol. 25, no. , pp. 852-862, August 1976, doi:10.1109/TC.1976.1674704
107 ms
(Ver 3.1 (10032016))