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]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.