The Logics Workbench (LWB) is an application developed at the University of Berne in Switzerland
It 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.. and lots of other fun!
You can use the lwb from the web.
You can reach us via following e-mail address: firstname.lastname@example.org
Kindly refer to this page
to see who contributed to the project.