The Logics Workbench!

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.

Contact

You can reach us via following e-mail address: info@lwb.unibe.ch.

About

Kindly refer to this page to see who contributed to the project.