MUltlog

MUltlog
All Links

Share this:

Details of MUltlog

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