The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.08 - August (1976 vol.25)
pp: 852-862
C.G. Morgan , 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.
INDEX TERMS
Inductive logic, intuitionism, modal logic, relevance logic, theorem proving.
CITATION
C.G. Morgan, "Methods for Automated Theorem Proving in Nonclassical Logics", IEEE Transactions on Computers, vol.25, no. 8, pp. 852-862, August 1976, doi:10.1109/TC.1976.1674704
29 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool