Skip navigation
Skip navigation

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

Slaney, John Keith

Description

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

Download

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:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator