Handbook of Mathematical Fuzzy Logic - Vol. 1

0373002 - ÚI 2012 RIV GB eng B - Monografie kniha jako celek
Cintula, Petr (ed.) - Hájek, Petr (ed.) - Noguera, C. (ed.)
Handbook of Mathematical Fuzzy Logic - Vol. 1.
London: College Publications, 2011. 492 s. Studies in Logic - Mathematical Logic and Foundations, 37. ISBN 978-1-84890-039-4
Grant CEP: GA ČR GAP202/10/1826; GA ČR GEICC/08/E018
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: mathematical fuzzy logic * handbook * non-classical logic * mathematical logic
Kód oboru RIV: BA - Obecná matematika
http://aleph.lib.cas.cz/F/?func=direct&doc_number=000961924&local_base=AV

Originating as an attempt to provide solid logical foundations for fuzzy set theory, and motivated also by philosophical and computational problems of vagueness and imprecision, Mathematical Fuzzy Logic (MFL) has become a significant subfield of mathematical logic. Research in this area focuses on many-valued logics with linearly ordered truth values and has yielded elegant and deep mathematical theories and challenging problems, thus continuing to attract an ever increasing number of researchers. This two-volume handbook was published in 2011 by College Publications (London) in their book-series Mathematical Logic and Foundations (a subseries of Studies in Logic). It provides an up-to-date systematic presentation of the best-developed areas of MFL. Its intended audience is researchers working on MFL or related fields, that may use the text as a reference book, and anyone looking for a comprehensive introduction to MFL. Despite being located in the realm of pure mathematical logic, this handbook will also be useful for readers interested in logical foundations of fuzzy set theory or in a mathematical apparatus suitable for dealing with some philosophical and linguistic issues related to vagueness. The first volume contains a gentle introduction to MFL, followed by a presentation of an abstract algebraic framework for MFL, chapters on proof theory and algebraic semantics of fuzzy logics, and, finally, an algebraic study of Hájek’s logic BL.
Trvalý link: http://hdl.handle.net/11104/0206179