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


FUZZ-IEEE 2016


Organizers:

Stefano Aguzzoli
Università degli Studi di Milano
Dipartimento di Informatica
Via Comelico 39, 20135, Milan, Italy
Email: {lastname} at di.unimi.it

Pietro Codara
Università degli Studi di Milano
Dipartimento di Informatica
Via Comelico 39, 20135, Milan, Italy
Email: {lastname} at di.unimi.it

Diego Valota
Institut d'Investigació en Intel.ligència Artificial (IIIA), CSIC,
Campus UAB, 08193 Bellaterra, Spain
Email: {name} at iiia.csic.es

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: 31 January 2016;
  • Paper Acceptance Notification Date: 15 March 2016;
  • Final Paper Submission and Early Registration Deadline: 15 April 2016;
  • IEEE WCCI 2016: 25-29 July 2016.
Submission
  • Paper submission deadline has been extended to January 31, 2016.
  • 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.
  • 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, 2016.

For more informations, please visit: FUZZ-IEEE 2016.