MUltseq
Edit Page
Report
Scan day: 09 February 2014 UTC
34
Virus safety - good
Description: A generic sequent prover for propositional finitely-valued logics.
MUltseq is a program that can be used to decide the validity of finitely-valued formulas, the consequence relation, and the validity of equations and quasi-equations in certain finite algebras. In its core, MUltseq is a generic sequent prover for propositional finitely-valued logics. It is intended as companion for
Size: 316 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | MUltseq home page |
| Keywords: | |
| Description: | |
| IP-address: | 128.130.175.46 |
WHOIS Info
| NS | |
| WHOIS | |
| Date | changed: 20040609 17:03:14 changed: 20040609 17:03:14 |