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 a calculus for transforming a many-valued formula to clauses suitable for many-valued resolution. All generated rules are optimized regarding their branching degree. The output is in the form of a scientific paper, written in LATEX.
CITATION STYLE
Baaz, M., Fermüller, C. G., Salzer, G., & Zach, R. (1996). MUltlog 1.0: Towards an expert system for many-valued logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1104, pp. 226–230). Springer Verlag. https://doi.org/10.1007/3-540-61511-3_84
Mendeley helps you to discover research relevant for your work.