Skip to main content
SpringerLink
Log in

MUltlog: an Expert System for Multiple-valued Logics

  • Conference paper
Collegium Logicum

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

  • 160 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Baaz and C. G. Fermüller. Resolution for many-valued logics. In Voronkov [Vor92], pages 107–118.

    Google Scholar 

  2. 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. 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. 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. C. L. Chang and R. C. T. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973.

    Google Scholar 

  6. G. Gentzen. Untersuchungen über das logische Schließen, I-II. Math. Z., 39: 176–210, 405–431, 1934.

    Google Scholar 

  7. R. Hähnle. Automated Deduction in Multiple-valued Logics. Clarendon Press, Oxford, 1993.

    MATH  Google Scholar 

  8. A. Voronkov, editor. Logic Programming and Automated Reasoning (LPAR’92), LNCS 624 (LNAI). Springer-Verlag, 1992.

    Google Scholar 

Download references

Author information

Author notes

  1. Gernot Salzer

    Present address: Technische Universität Wien, Karlsplatz 13/E185-2, A-1040, Wien, Austria

Authors and Affiliations

    Authors
    1. Gernot Salzer
      View author publications

      You can also search for this author in PubMed Google Scholar

    Rights and permissions

    Reprints and permissions

    Copyright information

    © 1996 Springer-Verlag/Wien

    About this paper

    Cite this paper

    Salzer, G. (1996). MUltlog: an Expert System for Multiple-valued Logics. In: Collegium Logicum. Collegium Logicum, vol 2. Springer, Vienna. https://doi.org/10.1007/978-3-7091-9461-4_3

    Download citation

    • DOI: https://doi.org/10.1007/978-3-7091-9461-4_3

    • Publisher Name: Springer, Vienna

    • Print ISBN: 978-3-211-82796-3

    • Online ISBN: 978-3-7091-9461-4

    • eBook Packages: Springer Book Archive

    Publish with us

    Policies and ethics

    Search

    Navigation