The first author is one of the foremost authorities on nonclassical logics and their applications in computing, the second author has written three related research monographs.
The first author is one of the foremost authorities on nonclassical logics and their applications in computing, the second author has written three related research monographs.