Automated theorem-proving in non-classical logics
The topic of this dissertation lies in the intersection of logic and computer science, and rests firmly in that area of artificial intelligence (AI) known as automated theorem-proving (ATP). Our principal concern is with the design and implementation of theorem-proving programs for a range of non-classical logics, and especially for relevant family of non-classical logics detailed in [Anderson and Belnap 75]. In Chapter 1 we discuss the history of and motivations for non-classical...[Show more]
|Collections||Open Access Theses|
|b12900709_Thistlewaite, Paul Brian.pdf||96.41 MB||Adobe PDF|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.