Skip navigation
Skip navigation

Automated theorem-proving in non-classical logics

Thistlewaite, Paul Brian


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]

CollectionsOpen Access Theses
Date published: 1984
Type: Thesis (PhD)
DOI: 10.25911/5d6fa29251193


File Description SizeFormat Image
b12900709_Thistlewaite, Paul Brian.pdf96.41 MBAdobe PDFThumbnail

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator