Skip to main content
SpringerLink
Log in

MULTLOG: A system for axiomatizing many-valued logics

  • Conference paper
  • First Online:
Logic Programming and Automated Reasoning (LPAR 1993)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 698))

Abstract

A system is presented which, given a first-order finitely-many valued logic by truth tables, produces a sequent calculus, a natural deduction system, and a calculus for transformation to clausal form for many-valued resolution. The output can be in the form of a scientific paper—a LATEX document—which contains a presentation of the calculi and proves soundness and completeness for them.

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

Access this chapter

Log in via an institution

Institutional subscriptions

References

  1. M. Baaz and C. G. Fermüller. Resolution for many-valued logics. Proc. Logic Programming and Automated Reasoning LPAR'92, LNAI 624, 107–118, Springer, 1992.

    Google Scholar 

  2. M. Baaz, C. G. Fermüller, and R. Zach. Systematic construction of natural deduction systems for many-valued logics. Proc. 23rd International Symposium on Multiple-valued Logic. IEEE Press, 1993. to appear.

    Google Scholar 

  3. W. A. Carnielli. Systematization of finite many-valued logics through the method of tableaux. J. Symbolic Logic, 52(2):473–493, 1987.

    Google Scholar 

  4. G. Rousseau. Sequents in many valued logic I. Fund. Math., 60:23–33, 1967.

    Google Scholar 

  5. K. Schröter. Methoden zur Axiomatisierung beliebiger Aussagen-und Prädikaten-kalküle. Z. Math. Logik Grundlag. Math., 1:241–251, 1955.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Algebra und diskrete Mathematik E118.2, Technische Universität Wien, Wiedner Hauptstraße 8-10, A-1040, Wien, Austria

    Matthias Baaz

  2. Institut für Computersprachen E185.2, Technische Universität Wien, Resselgasse 3/1, A-1040, Wien, Austria

    Christian G. Fermüller, Arie Ovrutcki & Richard Zach

Authors
  1. Matthias Baaz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christian G. Fermüller
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Arie Ovrutcki
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Richard Zach
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Andrei Voronkov

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Baaz, M., Fermüller, C.G., Ovrutcki, A., Zach, R. (1993). MULTLOG: A system for axiomatizing many-valued logics. In: Voronkov, A. (eds) Logic Programming and Automated Reasoning. LPAR 1993. Lecture Notes in Computer Science, vol 698. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56944-8_66

Download citation

  • DOI: https://doi.org/10.1007/3-540-56944-8_66

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56944-2

  • Online ISBN: 978-3-540-47830-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation