MUltlog is a system which takes as input the specification of a finitely-valued first-order logic and produces a sequent calculus, a natural deducation system, and a calculus for transforming a many-valued formula to clauses suitable for many-valued resolution. All generated rules are optimized regarding their branching degree. The output is in the form of a scientific paper, written in L~ATEX.
展开▼