MUltlog
Edit Page
Report
Scan day: 09 February 2014 UTC
23
Virus safety - good
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.
MUltlog is a system which 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. All generated rules are optimized regarding their branching degree. The output is in the form of a scientific paper written in LaTeX. As an example,
Size: 350 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Home page of MUltlog |
| Keywords: | |
| Description: | |
| IP-address: | 128.130.175.46 |
WHOIS Info
| NS | |
| WHOIS | |
| Date | changed: 20040609 17:03:14 changed: 20040609 17:03:14 |