Library Home || Full Table of Contents || Library Help
|MUltseq is a generic sequent prover for propositional finitely-valued logics. It is intended as companion for MUltlog, which computes optimized sequent rules from the truth tables of a finitely valued logic. MUltseq uses these rules to construct derivations for given sequents - automatically or interactively - and presents the results in TeX format.|
|Resource Types:||Topic Tools Miscellaneous|
© 1994- The Math Forum at NCTM. All rights reserved.