Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
#

MVL Resources

Resources for Many-Valued Logic

Reiner Hähnle

The Postscript version of this document.

This document is an updated and extended version of [Hähnle, 2001, Section 11].

Books

Classic, but dated, monographs on MVL in general are [Rosser and Turquette, 1952,Rescher, 1969]; the same holds for the collections [Dunn and Epstein, 1977,Rine, 1984].

[Malinowski, 1993] is recommended as a more recent and compact introduction into MVL. Another concise introduction, strong on algebraic aspects, is [Panti, 1998]. The volumes [Bolc and Borowik, 1992,Bolc and Borowik, 2000] are comprehensive and fairly recent, but at least the first part is, unfortunately, seriously flawed by many inaccuracies, see [Hájek and Zach, 1994].

Clearly the most comprehensive and best monograph on MVL is the recent book by Gottwald Gottwald99. The monograph [Hájek, 1998] is broader than its title may suggest--both books were of invaluable help in preparing this chapter. Substantial bibliographies are contained in [Iturrioz, 2000,Iturrioz et al., 2000,Gottwald, 2000]

There are, of course, books on more specialized areas within MVL: Among the many books on fuzzy logic I only mention [Novák, 1989,Zimmermann, 1991,Gottwald, 1993,Kruse et al., 1994,Hájek, 1998,Turunen, 1999] and the collections [Marks, 1994,Klir and Yuan, 1996], which contain material on fuzzy logic in the narrow sense. The definitive book on -norm theory is [Klement et al., 2000]. Deductive aspects of MVL are the topic of [Hähnle, 1994,Stachniak, 1996,Baaz et al., 2001]. An overview of algebraic structures related to many-valued logics is [Iturrioz et al., 2000]. Algebraic aspects of $\L$ ukasiewicz logic are treated in depth in [Cignoli et al., 1999], while philosophical aspects of MVL are discussed in [Zinov'ev, 1963,Haack, 1974,Haack, 1996]. For many-valued switching theory look at [Muzio and Wesselkamper, 1986] and the collections [Sasao, 1993,Sasao and Fujita, 1996].

Journals

There is one journal publishing articles on all aspects of many-valued logic: Multiple-Valued Logic: an International Journal, published by Gordon & Breach.

Journals with a strong emphasis on one or more aspects of MVL are Soft Computing: A Fusion of Foundations, Methodologies and Applications, published by Springer-Verlag; Mathware & Soft Computing, published by Universitat Politècnica de Catalunya; Fuzzy Sets and Systems, published by Elsevier.

Mainstream logic journals with an editorial interest in many-valued logic include Studia Logica, published by Kluwer; Journal of Applied Non-Classical Logics, published by Hermès; Journal of Logic and Computation, published by Oxford University Press; Journal of Language, Logic and Computation, published by Kluwer.

Organizations and Meetings

IEEE Computer Society has a Technical Committee on MVL [Kameyama, 1997], which also organizes the only annual conference devoted exclusively to MVL. The meeting is called International Symposium on Multiple-Valued Logic, the proceedings are published by the IEEE Computer Society Press. Papers in MVL are, of course, also presented in other logic-related conferences. A research network called Many-Valued Logics for Computer Science Applications existed in the form of an EC COST Action between 1995 and 1999 [Tassart et al., 1995]. Its final report [Iturrioz, 2000] contains a bibliography of recent work on MVL with over 600 entries.

Web Resources

Stanford Encyclopedia of Philosophy, entry for many-valued logic
Marek Perkowski's Home page on MVL
IEEE Computer Society's Technical Committee on MVL

Bibliography

Baaz et al., 2001: [Baaz et al., 2001] Baaz, M., Fermüller, C. G., and Salzer, G.
Automated deduction for many-valued logics.
In: [Robinson and Voronkov, 2001].
Bolc and Borowik, 1992: [Bolc and Borowik, 1992] Bolc, L., and Borowik, P.
Many-Valued Logics.
Vol. 1: Theoretical Foundations.
Springer-Verlag.
Bolc and Borowik, 2000: [Bolc and Borowik, 2000] Bolc, L., and Borowik, P.
Many-Valued Logics.
Vol. 2: Automated Reasoning and Practical Applications.
Springer-Verlag.
Cignoli et al., 1999: [Cignoli et al., 1999] Cignoli, R. L. O., D'Ottaviano, I. M. L., and Mundici, D.
Algebraic Foundations of Many-Valued Reasoning.
Trends in Logic, vol. 7.
Kluwer, Dordrecht.
Dunn and Epstein, 1977: [Dunn and Epstein, 1977] Dunn, J. M., and Epstein, G. (eds.).
Modern Uses of Multiple-Valued Logic.
Reidel, Dordrecht.
Invited Papers of 5th ISMVL Symposium 1975 with Bibliography by R. G. Wolf.
Gottwald, 1993: [Gottwald, 1993] Gottwald, S.
Fuzzy Sets and Fuzzy Logic.
Vieweg, Braunschweig.
Gottwald, 2000: [Gottwald, 2000] Gottwald, S.
A Treatise on Many-Valued Logics.
Research Studies Press, Baldock.
Haack, 1974: [Haack, 1974] Haack, S.
Deviant Logic--Some Philosophical Issues.
Cambridge University Press.
Haack, 1996: [Haack, 1996] Haack, S.
Deviant Logic, Fuzzy Logic: Beyond the Formalism.
University of Chicago Press.
Revised edition of [Haack, 1974].
Hähnle, 1994: [Hähnle, 1994] Hähnle, R.
Automated Deduction in Multiple-Valued Logics.
International Series of Monographs on Computer Science, vol. 10.
Oxford University Press.
Hähnle, 2001: [Hähnle, 2001] Hähnle, R.
Advanced many-valued logics.
Pages 297-395 of: Gabbay, D. M., and Guenthner, F. (eds.), Handbook of Philosophical Logic, 2nd edn., vol. 2.
Kluwer, Dordrecht.
Hájek, 1998: [Hájek, 1998] Hájek, P.
Metamathematics of Fuzzy Logic.
Trends in Logic: Studia Logica Library, vol. 4.
Kluwer Academic Publishers, Dordrecht.
Hájek and Zach, 1994: [Hájek and Zach, 1994] Hájek, P., and Zach, R.
Review of: Leonard Bolc and Piotr Borowik: Many-Valued Logics 1: Theoretical Foundations.
Journal of Applied Non-Classical Logics, 4(2), 215-220.
Iturrioz, 2000: [Iturrioz, 2000] Iturrioz, L.
(ed.). COST Action 15: Many-valued logics for computer science applications -- Final report.
EUR 19204. Office for Official Publications of the European Communities, Luxembourg.
Iturrioz et al., 2000: [Iturrioz et al., 2000] Iturrioz, L., Or $\l$ owska, E., and Turunen, E.
(eds.). Atlas of many-valued structures.
Mathematics Report 75. Tampere University of Technology, Department of Information Technology, Tampere, Finland.
Kameyama, 1997: [Kameyama, 1997] Kameyama, M.
Technical activities forum: Multiple-valued logic TC stresses innovation.
IEEE Computer, May, 83-85.
Klement et al., 2000: [Klement et al., 2000] Klement, E. P., Mesiar, R., and Pap, E.
Triangular Norms.
Trends in Logic, vol. 8.
Kluwer, Dordrecht.
Klir and Yuan, 1996: [Klir and Yuan, 1996] Klir, G. J., and Yuan, B. (eds.).
Fuzzy Sets, Fuzzy Logic, and Fuzzy Systems: Selected Papers by Lotfi A. Zadeh.
Advances in Fuzzy Systems, vol. 6.
World Scientific Publishing, Singapore.
Kruse et al., 1994: [Kruse et al., 1994] Kruse, R., Gebhardt, J., and Klawonn, F.
Foundations of Fuzzy System.
Wiley, Chichester.
Malinowski, 1993: [Malinowski, 1993] Malinowski, G.
Many-Valued Logics.
Oxford Logic Guides, vol. 25.
Oxford University Press.
Marks, 1994: [Marks, 1994] Marks, R. J. (ed.).
Fuzzy logic technology and applications.
IEEE technology updates.
IEEE Press, New York.
Muzio and Wesselkamper, 1986: [Muzio and Wesselkamper, 1986] Muzio, J. C., and Wesselkamper, T.
Multiple-Valued Switching Theory.
Adam Hilger Ltd., Bristol and Boston.
Novák, 1989: [Novák, 1989] Novák, V.
Fuzzy Sets and their Applications.
Bristol: Adam Hilger.
Panti, 1998: [Panti, 1998] Panti, G.
Multi-valued logics.
Chap. 2, pages 25-74 of: Gabbay, D., and Smets, P. (eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 1: Quantified Representation of Uncertainty and Imprecision.
Kluwer, Dordrecht.
Rescher, 1969: [Rescher, 1969] Rescher, N.
Many-Valued Logic.
McGraw-Hill, New York.
Rine, 1984: [Rine, 1984] Rine, D. C. (ed.).
Computer Science and Multiple-Valued Logics. Second edn.
North-Holland, Amsterdam.
Selected Papers from the International Symposium on Multiple-Valued Logics 1974.
Robinson and Voronkov, 2001: [Robinson and Voronkov, 2001] Robinson, A., and Voronkov, A. (eds.).
Handbook of Automated Reasoning.
Elsevier Science B.V.
Rosser and Turquette, 1952: [Rosser and Turquette, 1952] Rosser, J. B., and Turquette, A. R.
Many-Valued Logics.
Amsterdam: North-Holland.
Sasao, 1993: [Sasao, 1993] Sasao, T. (ed.).
Logic Synthesis and Optimization.
Kluwer, Norwell/MA, USA.
Sasao and Fujita, 1996: [Sasao and Fujita, 1996] Sasao, T., and Fujita, M. (eds.).
Representations of Discrete Functions.
Kluwer Academic Publishers, Boston.
Stachniak, 1996: [Stachniak, 1996] Stachniak, Z.
Resolution Proof Systems: an Algebraic Theory.
Kluwer, Dordecht.
Tassart et al., 1995: [Tassart et al., 1995] Tassart, G., Iturrioz, L., Klement, E. P., Mundici, D., Prade, H., Schmitt, P., and Hähnle, R.
COST Action 15: Many-valued logics for computer science applications.
Computational Logic, 2(2), 32-33.
Turunen, 1999: [Turunen, 1999] Turunen, E.
Mathematics Behind Fuzzy Logic.
Advances in Soft Computing.
Springer-Verlag.
Zimmermann, 1991: [Zimmermann, 1991] Zimmermann, H.-J.
Fuzzy Set Theory--And Its Applications. Second Revised edn.
Kluwer, Dordrecht.
Zinov'ev, 1963: [Zinov'ev, 1963] Zinov'ev, A. A.
Philosophical Problems of Many-Valued Logic.
D. Reidel, Dordrecht.

Reiner Hähnle
2001-08-23