MUltlog: an Expert System for Multiple-valued Logics

Conference paper
Part of the Collegium Logicum book series (COLLLOGICUM, volume 2)


This paper presents the MUltlog system: given the specification of a multiple-valued logic, it constructs a sequent calculus, a natural deduction system and clause formation rules for the logic. Moreover, we describe optimization techniques based on multiple-valued resolution, which yield a minimal sequent calculus.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BF92]
    M. Baaz and C. G. Fermüller. Resolution for many-valued logics. In Voronkov [Vor92], pages 107–118.Google Scholar
  2. [BFOZ92]
    M. Baaz, C. G. Fermiiller, A. Ovrutcki, and R. Zach. MULTLOG: A system for axiomatizing many-valued logics. In Voronkov [Vor92], pages 345–347.Google Scholar
  3. [BFZ93]
    M. Baaz, C. G. Fermiiller, and R. Zach. Systematic construction of natural deduction systems for many-valued logics. In Proc. 23rd International Symposium on Multiple-valued Logic, pages 208–213. IEEE Press, 1993.Google Scholar
  4. [BFZ94]
    M. Baaz, C. G. Fermüller, and R. Zach. Elimination of cuts in first-order finite-valued logics. J. Inform. Process. Cybernet. EIK, 29 (6): 333–355, 1994.Google Scholar
  5. [CL73]
    C. L. Chang and R. C. T. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973.Google Scholar
  6. [Gen34]
    G. Gentzen. Untersuchungen über das logische Schließen, I-II. Math. Z., 39: 176–210, 405–431, 1934.Google Scholar
  7. [Häh93]
    R. Hähnle. Automated Deduction in Multiple-valued Logics. Clarendon Press, Oxford, 1993.zbMATHGoogle Scholar
  8. [Vor92]
    A. Voronkov, editor. Logic Programming and Automated Reasoning (LPAR’92), LNCS 624 (LNAI). Springer-Verlag, 1992.Google Scholar

Copyright information

© Springer-Verlag/Wien 1996

Authors and Affiliations

  1. 1.Technische Universität WienWienAustria

Personalised recommendations