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, many-valued 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.
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 non-classical events
Important DatesPaper Submission Deadline: 15 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.
SubmissionPaper submission deadline is on January 15, 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.
OrganizersStefano Aguzzoli, Università degli Studi di Milano
Pietro Codara, Università degli Studi di Milano
Diego Valota, IIIA-CSIC
For more informations, please visit: