MUltlog
Library Home 
Full Table of Contents 
Library Help
http://www.logic.at/multlog/  


Gernot Salzer et al.  
MUltlog is a system that takes as input the specification of a finitelyvalued firstorder 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 Unixlike operating systems.  


Levels:  College, Research 
Languages:  English 
Resource Types:  Topic Tools Miscellaneous 
Math Topics:  Logic/Foundations 
[Privacy Policy] [Terms of Use]
© 1994 The Math Forum at NCTM. All rights reserved.
http://mathforum.org/