Library Home || Full Table of Contents || Library Help
|Gernot Salzer et al.|
|MUltlog is a system that 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. MUltlog is written in a standard subset of Prolog and therefore should run with any Prolog system; the current distribution is mainly intended for Unix-like operating systems.|
|Resource Types:||Topic Tools Miscellaneous|
© 1994- The Math Forum at NCTM. All rights reserved.