1. Home
  2. Science
  3. Mathematics
  4. MUltlog

Science · Mathematics

MUltlog

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

About MUltlog

MUltlog- 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.

Tags

Meetings

Where it sits

Science Mathematics

More in Mathematics

See all →