| 
| The Logics Workbench (LWB) is developed at the
University of Bern in Switzerland.
|
| |
|
| | The LWB offers the possibility to work in a user-friendly way in
classical and non-classical propositional logics, including nonmonotonic
approaches.
|
| |
|
| | There are several groups of functions:
|
| |
|
|
|
| 
| functions concerning provability
|
|
|
|
| simplification of formulas
|
|
|
|
| computation of normal forms
|
|
|
|
| embeddings, generation of random formulas, ...
|
| |
|
| | The section modules
shows which logics and which functions are implemented for which logics.
|
| |
|
| | A programming language gives the possibility to combine the existing
functions according to the requirements of the user.
|
