Abstract
The Logics Workbench is an interactive system aiming to facilitate the access to logic formalisms for nonspecialists as well as specialists. It is an integrated system which provides a library of the most important propositional calculi and many algorithms in this area. Special emphasis is put on a clear design of the human interface and a powerful information system, which covers on-line help and documentation.
Get full access to this article
View all access options for this article.