Computers and relevant logic : a project in computing matrix model structures for propositional logics
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]
|Collections||Open Access Theses|
|b12010133_Slaney_J_K.pdf||9.63 MB||Adobe PDF|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.