The Logics Workbench!
About the LWB
The Logics Workbench (LWB) is developed at the University of Bern in Switzerland and freeware.
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:
Please send comments, bug reports, and requests concerning the LWB to
The LWB was created by those authors
The web based client and the site are mostly released to public domain. Small (re-used) parts are given back under a some BSD licence as is the Django Project that powers this site.
We hope to make the code available a little bit later.
email: lwb@iam.unibe.ch
Prof. Dr. G. Jäger
Institut fuer Informatik und angewandte Mathematik
Universität Bern
Neubrückstrasse 10
3012 Bern
Switzerland
- functions concerning provability
- simplification of formulas
Please send comments, bug reports, and requests concerning the LWB to
lwb@iam.unibe.ch
The LWB was created by those authors
Download LWB (for your Server)
The LWB and this site are two separate components, you can get the latest lwb binaries from IAM FTP Server - please read the copyright about the lwb binaries.The web based client and the site are mostly released to public domain. Small (re-used) parts are given back under a some BSD licence as is the Django Project that powers this site.
We hope to make the code available a little bit later.
Copyright for the LWB itself
Preface:
The Logics Workbench (LWB) will be called 'program' in the following sections. This includes all the documentation and auxiliary programs. The whole distribution package for the LWB will subsequently just be called 'package'. The term 'author' or 'authors' is used for persons currently involved in the development of the LWB at the University of Berne.Copying:
The program and its source code may be copied free of charge, as long as the whole package is not changed. That means it is not allowed to change any file, to remove a file from the package, or to add an additional file to the package.Distribution:
The package may be distributed freely, as long as no charge above the cost for physical copying is asked for. The package may be repacked into another form but all files have to appear in the new package, and no files may be changed.Modification:
The program may not be modified in any way without the written permission of the authors.Copyright:
The copyright of all parts of program and documentation is owned by the authors.Warranty:
The program is provided 'as is' without warranty of any kind, either expressed or implied, including, but not limited to, the implied warranties of merchantability and fitness for a particular purpose. The entire risk as to the quality and performance of the program is with the user. Should the program prove defective, the user assumes the cost of all necessary servicing, repair or correction. In no event will any copyright holder be liable to the user for damages, including any general, special, incidental or consequential damages arising out of the use or inability to use the program (including but not limited to loss of data or data being rendered inaccurate or losses sustained by the user or third parties or a failure of the program to operate with any other programs), even if such holder has been advised of the possibility of such damages.Further Information:
Further information can be obtained at:email: lwb@iam.unibe.ch
Prof. Dr. G. Jäger
Institut fuer Informatik und angewandte Mathematik
Universität Bern
Neubrückstrasse 10
3012 Bern
Switzerland