Special Session on
Recent trends in many-valued logic and fuzziness


FUZZ-IEEE 2020


Organizers:

Pietro Codara
Università degli Studi di Milano
Dipartimento di Matematica
Via Saldini 50, 20133, Milan, Italy
Email: {lastname} at di.unimi.it

Stefano Aguzzoli
Università degli Studi di Milano
Dipartimento di Informatica
Via Celoria 18, 20133, Milan, Italy
Email: {lastname} at di.unimi.it

Diego Valota
Università degli Studi di Milano
Dipartimento di Informatica
Via Celoria 18, 20133, Milan, Italy
Email: {lastname} at di.unimi.it

Many-valued logics have constituted for several decades key conceptual tools for the formal description and management of fuzzy, vague and uncertain information. In the last few years, the study of these logical systems has seen a bloom of new research related to the most diverse areas of mathematics and applied sciences. Relevant recent developments in this field are connected to the natural semantics of non-classical events. A nonclassical event is described by a formula in the language of a given manyvalued logic. A satisfying semantics for such events must account for their different aspects, in particular the "ontic" aspect, related to their vague nature, and the "epistemic" aspect, related to our ignorance, or approximate knowledge about them. The combination in a unique conceptual framework of the logic and the probability of a class of non-classical events, usually reached through the algebraic semantics and their topological or combinatorial dualities, provides both the theoreticians and the applicationoriented scholars with powerful tools to deal with this kind of events. This special session is devoted to the most recent development in the realm of many-valued logics, with particular emphasis on theoretical advances related to algebraic or alternative semantics, combinatorial aspects, topological and categorical methods, proof theory and game theory, manyvalued computation. In particular, results directed towards a better understanding of the natural semantics of non-classical events will be appreciated. Further, a special attention is also given to connections and synergies between many-valued logics and other different formal approaches to vague and approximate reasoning, such as Rough Sets, Formal Concept Analysis and Relational Methods.

Scope and Topics

A partial list of topics is the following:

  • Algebraic semantics of many-valued logics;
  • Applications of many-valued logics to Formal Concept Analysis and Relational Methods;
  • Applications of many-valued logics to Fuzzy Sets and to Rough Sets;
  • Combinatorial or topological dualities;
  • Computational complexity of many-valued logics;
  • Many-valued computational models;
  • Modal logic approaches to probability and uncertainty in many-valued logics;
  • Natural and alternative semantics for many-valued logics;
  • Proof theory for many-valued logics;
  • Representation theory;
  • Subjective probability approaches to many-valued logics and nonclassical events.
Important Dates
  • Paper Submission Deadline: 15 January 2020;
  • Paper Acceptance Notification Date: 15 March 2020;
  • Final Paper Submission Deadline: 15 April 2020;
  • Early Registration Deadline: 15 April 2020;
  • IEEE WCCI 2020: 19-24 July 2020.
Submission
  • Paper submission deadline is January 15, 2020.
  • All papers must be submitted through the Online Submission System of the conference.
  • Please submit your paper selecting the option "Main research topic": Special Session on Recent trends in many-valued logic and fuzziness,
    as detailed at the submission page.
  • In order for your papers to be included in the congress program and the proceedings, final accepted papers must be submitted and the corresponding registration fees must be paid by April 15, 2020.

For more informations, please visit: WCCI 2020.