Math: Logic and Foundations: Software: MUltlog

Description: 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.