Skip navigation
Skip navigation

Computers and relevant logic : a project in computing matrix model structures for propositional logics

Slaney, John Keith


I present and discuss four classes of algorithm designed as solutions to the problem of generating matrix representations of model structures for some non-classical propositional logics. I then go on to survey the output from implementations of these algorithms and finally exhibit some logical investigations suggested by that output. All four algorithms traverse a search tree depthfirst. In the case of the first and fourth methods the tree is fixed by imposing a lexicographic order on...[Show more]

CollectionsOpen Access Theses
Date published: 1980
Type: Thesis (PhD)


File Description SizeFormat Image
b12010133_Slaney_J_K.pdf9.63 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