Contributions to Mathematical Fuzzy Logic

advisor:	Ing. Petr Cintula PhD. and Carles Noguera PhD.
e-mail:	show e-mail
type:	bachelor thesis, master thesis
branch of study:	MI_MM, II_SIMI
key words:	mathematical fuzzy logic, nonclassical logics, reasoning with vagueness and imprecision
link:	http://www.mathfuzzlog.org
description:	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 theories and challenging problems, thus continuing to attract an ever increasing number of researchers. Many (currently active or potential) research lines in the framework of MFL start from very elementary and accessible foundations and evolve into deep mathematical developments, and thus conform a suitable and fertile area for the training of bachelor and master students. Possible theses can focus, among others, on the algebraic semantics of fuzzy logics, their proof theory, computational complexity, functional representation, game-theoretic interpretations, first and higher order formalisms, arithmetical hierarchy, or several application-driven extensions.
references:	[1] Petr Cintula, Petr Hájek, Carles Noguera (eds). Handbook of Mathematical Fuzzy Logic. Studies in Logic, Mathematical Logic and Foundations, vol. 37 and 38, London, College Publications, 2011. [2] Siegfried Gottwald. A Treatise on Many-Valued Logics, volume 9 of Studies in Logic and Computation. Research Studies Press, Baldock, 2001. [3] Petr Hájek. Metamathematics of Fuzzy Logic, volume 4 of Trends in Logic. Kluwer, Dordrecht, 1998.
note:	Particular topic would be decided after an interview with the potential student.
last update:	20.11.2017 22:33:10

administrator for this page: Ľubomíra Dvořáková | last update: 09/12/2011