Skip navigation
Skip navigation

Automated theorem-proving in non-classical logics

Thistlewaite, Paul Brian

Description

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)
URI: http://hdl.handle.net/1885/137627

Download

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:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator