MUltlog
logic.atTakes 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.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.