MUltlog is a system which takes as input the specification of a finitely-valued first-order logic and produces a sequent calculus, a natural deduction system, and clause formation rules for this logic. All generated rules are optimized regarding their branching degree. The output is in the form of a scientific paper written in LaTeX. As an example, this specification of three-valued Gödel logic results in this paper. For more details see the system description presented at CADE-13, the README file of the distribution, and the changes since version 1.05.
Send complaints, requests, and suggestions to email@example.com.
To try MUltlog before installing it locally on your computer, you can use one of the two web interfaces:
JMUltlog, a Java applet. Stopped working when the webserver moved to a new platform behind a firewall. Will work again as soon as somebody comes around to fix it ...
MUltlog 1.10 is available for free from below. The current distribution is mainly intended for Unix-like operating systems. With minor modifications MUltlog should also run on other platforms.Components of MUltlog
MUltlog kernel: distributed as ml110.tgz (196 kB, tarred and gzipped archive). Written in Prolog, should run with any standard interpreter (tested with SWI- and SICStus-Prolog). The input to MUltlog can be created with any text editor. Viewing the generated paper requires the LaTeX typesetting system. For details see the README file of the distribution.
iLC, the interactive Logic Creator (included in ml110.tgz). Written in Tcl/Tk. A comfortable window-oriented interface for creating specifications of many-valued logics. Though Tcl/Tk now also supports Windows 95/98 and the like, iLC was only tested under X Windows on Unix systems.
eLK: distributed as elk.tgz (104 kB, tarred and gzipped archive). A menu-oriented interface to MUltlog for DOS platforms, serving basically the same purpose as iLC. Written in Borland C++.
HTML/Perl-based interface: a client-server application that allows to specify the many-valued logic remotely with any web browser and to use MUltlog on a server. Written in HTML++ and Perl. To try the installation on this server, click here. The sources of this interface are available on request.
JMUltlog: a client-server application that allows to specify the many-valued logic remotely with any web browser and to use MUltlog on a server. Written in Java. To try the installation on this server, click here. The sources of this interface are available on request.
Prolog: needed to run MUltlog. Download e.g. SWI-Prolog (by Jan Wielemaker), freely available from http://www.swi-prolog.org/.
TeX & friends: needed to transform the output of MUltlog into readable form. Many Unix systems nowadays include LaTeX by default (check for programs named "latex" and "bibtex"). Otherwise freely available for all platforms from CTAN, the Comprehensive TeX Archive Network.
Tcl/Tk: an embeddable script language for constructing graphical user interfaces (by John Ousterhout). Needed for running iLC, but not for the MUltlog kernel itself. Many Unix systems nowadays include Tcl/Tk by default (check for a program named "wish"). Otherwise freely available for almost all platforms from ftp://ftp.scriptics.com/pub/tcl/.
MUltlog is a project by the Vienna Group for Multiple-valued Logics, supported by FWF grant P10282-MAT (Austrian Science Foundation). The persons that contributed to MUltlog are (in alphabetical order):