Web Directory

    Top: Science: Math: Logic_and_Foundations: Software:

 

MUltlog

  Link Details for: MUltlog
Link Title: MUltlog Open in a new window
Link URL: http://www.logic.at/multlog/
Link Details: 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.
Category: Top : Science : Math : Logic_and_Foundations : Software
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
MUltlog