Preview
Unable to display preview. Download preview PDF.
References
E. W. Beth Completeness Results for Formal Systems Proc. Int. Congress of Mathematics 1958
W. A. Carnielli Systematization of Finite Many-Valued Logics Through the Method of Tableau J. of Symbolic Logic, 52, 1987, pp. 473–493
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
S. C. Kleene On a notation for ordinal numbers J. Symbolic Logic 3, 1938, pp. 150–155
J. Lukasiewicz On Determinism in: Polish Logic 1920–1939 St. McCall (ed.), Clarendon Press, 1967, pp. 19–39
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
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
K. C. Smith Multiple-Valued Logic: A Tutorial and Appreciation IEEE Computer Society, April 1988, pp. 17–27
R. M. Smullyan First order logic Springer 1968
D. Scott Does Many-Valued Logic Have Any Use?
R. Turner Logics for Artificial Intelligence Ellis Horwood Ltd., 1985
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
Author information
Authors and Affiliations
Editor information
Rights 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