Perspectives in multiple-valued logic

  • Peter H. Schmitt
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 459)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Beth 58]
    E. W. Beth Completeness Results for Formal Systems Proc. Int. Congress of Mathematics 1958Google Scholar
  2. [Carnielli 87]
    W. A. Carnielli Systematization of Finite Many-Valued Logics Through the Method of Tableau J. of Symbolic Logic, 52, 1987, pp. 473–493Google Scholar
  3. [HLM87]
    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, 1987Google Scholar
  4. [Kleene 38]
    S. C. Kleene On a notation for ordinal numbers J. Symbolic Logic 3, 1938, pp. 150–155Google Scholar
  5. [Lukasiewicz]
    J. Lukasiewicz On Determinism in: Polish Logic 1920–1939 St. McCall (ed.), Clarendon Press, 1967, pp. 19–39Google Scholar
  6. [Schmitt 86]
    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–198Google Scholar
  7. [Scott 76]
    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–95Google Scholar
  8. [Smith 88]
    K. C. Smith Multiple-Valued Logic: A Tutorial and Appreciation IEEE Computer Society, April 1988, pp. 17–27Google Scholar
  9. [Smullyan 68]
    R. M. Smullyan First order logic Springer 1968Google Scholar
  10. [Scott]
    D. Scott Does Many-Valued Logic Have Any Use?Google Scholar
  11. [Turner 85]
    R. Turner Logics for Artificial Intelligence Ellis Horwood Ltd., 1985Google Scholar
  12. [Wolf 75]
    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–474Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Peter H. Schmitt
    • 1
  1. 1.Institut für Logik, Komplexität und DeduktionssystemeUniversität KarlsruheGermany

Personalised recommendations