A Logics Workbench
Alain Heuerding, Gerhard Jäger, Stefan Schwendimann, Michael Seyfried · AI Communications · 1996
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 algo