Math: Logic and Foundations: Software: MUltlog

Home : Math : Logic and Foundations : Software :

Submitted: Sat Sep 06 2003
Title: MUltlog
URL: http://www.logic.at/multlog/
CT: 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.

Detailed Traffic Statistic From Alexa

Previous Next

HOME | ADD A LINK | MODIFY A LINK | LOGIN

UFO Seek Forum is a growing community for discussion of UFO-Paranormal, mysterious and unexplained topics.