MUltlog: an Expert System for Multiple-valued Logics
- 106 Downloads
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.
- [BF92]M. Baaz and C. G. Fermüller. Resolution for many-valued logics. In Voronkov [Vor92], pages 107–118.Google Scholar
- [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
- [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
- [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
- [CL73]C. L. Chang and R. C. T. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973.Google Scholar
- [Gen34]G. Gentzen. Untersuchungen über das logische Schließen, I-II. Math. Z., 39: 176–210, 405–431, 1934.Google Scholar
- [Vor92]A. Voronkov, editor. Logic Programming and Automated Reasoning (LPAR’92), LNCS 624 (LNAI). Springer-Verlag, 1992.Google Scholar