MFL 2013 - Special Session on Mathematical Fuzzy Logic

Organizers: Stefano Aguzzoli, Tommaso Flaminio, Brunella Gerla
Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. Many-valued logics, fuzzy logics, and their algebraic semantics represent the formal tools to deal with vague phenomena and events.
Theories of uncertainty, that are built over those logico-algebraic structures for many-valued events, are adequate tools to model those situations in which a quantitative evaluation of the combination of uncertainty and imprecision is needed.
This special session will focus on (but will not limited to) the following topics: “Algebras of many-valued logics”, “Proof-systems of many-valued logics”, “Probability of non-classical events”, “Game semantics of many-valued logics”, “Topological dualities for many-valued logics”.