Skip to main content
SpringerLink
Log in

Perspectives in multiple-valued logic

  • Conference paper
  • First Online:
Natural Language and Logic

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

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. E. W. Beth Completeness Results for Formal Systems Proc. Int. Congress of Mathematics 1958

    Google Scholar 

  2. W. A. Carnielli Systematization of Finite Many-Valued Logics Through the Method of Tableau J. of Symbolic Logic, 52, 1987, pp. 473–493

    Google Scholar 

  3. I. Niemelá, H. Tuominen Helsinki Logic Machine: A System for Logical Expertise Helsinki University of Technology, Digital Systems Laboratory, Techn. Report, Series B, No. 1, 1987

    Google Scholar 

  4. S. C. Kleene On a notation for ordinal numbers J. Symbolic Logic 3, 1938, pp. 150–155

    Google Scholar 

  5. J. Lukasiewicz On Determinism in: Polish Logic 1920–1939 St. McCall (ed.), Clarendon Press, 1967, pp. 19–39

    Google Scholar 

  6. P. H. Schmitt Computational aspects of three-valued logic in: Siekmann, J. (ed.): Proceedings of the 8th Int. Conf. on Automated Deduction, Lecture Notes in Computer Science, Vol. 230, Springer 1986, pp. 190–198

    Google Scholar 

  7. D. Scott Does Many-Valued Logic Have Any Use? Philosophy of Logic. Proceeding of the 3rd Bristol Conference on Critical Philosophy (S. Koerner ed.), Blackwell, Oxford, 1976, pp. 64–95

    Google Scholar 

  8. K. C. Smith Multiple-Valued Logic: A Tutorial and Appreciation IEEE Computer Society, April 1988, pp. 17–27

    Google Scholar 

  9. R. M. Smullyan First order logic Springer 1968

    Google Scholar 

  10. D. Scott Does Many-Valued Logic Have Any Use?

    Google Scholar 

  11. R. Turner Logics for Artificial Intelligence Ellis Horwood Ltd., 1985

    Google Scholar 

  12. R. G. Wolf A Critical Survey of Many-Valued Logics 1966–1874 Proc. Int. Symp. on Multiple-Valued Logic, IEEE Computer Society, 1975, pp. 468–474

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Logik, Komplexität und Deduktionssysteme, Universität Karlsruhe, Germany

    Peter H. Schmitt

Authors
  1. Peter H. Schmitt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Rudi Studer

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schmitt, P.H. (1990). Perspectives in multiple-valued logic. In: Studer, R. (eds) Natural Language and Logic. Lecture Notes in Computer Science, vol 459. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53082-7_24

Download citation

  • DOI: https://doi.org/10.1007/3-540-53082-7_24

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53082-4

  • Online ISBN: 978-3-540-46653-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation