The international conference on Logic and Cognition is held once every year since 2001. It is sponsored and organized by Institute of Logic and Cognition, which is one of the key research institutes of humanities and social sciences in Universities affiliated to the Chinese Ministry of Education. The 8th conference will be held in Guangzhou in December 2016. The topic of the conference is non-classical logics and their applications in computer science and cognitive science.
Non-classical logic is a wide research area that can bring ideas from different application areas together. It plays a significant role in the cross-discipline research in logic, theoretical computer science, game theory, social choice theory, linguistics and cognitive sciences. The aim of this conference is to work on various non-classical logical theories with the perspectives on their applications. We warmly invite all contributions in the area of non-classical logics and their applications in sciences.
Publication
All accepted papers will be included in a post-proceeding (to be confirmed). The collection of all submitted full papers and abstracts will be available at the conference. Furthermore, the organizers will select papers to be published in a special issue of a scientific journal (to be confirmed).
The scope of this conference includes, but is not limited to:
Proof theory and Computational complexity
Algebraic semantics and abstract algebraic logic
Fuzzy, many-valued and open-class logics
logic and social choice theory
Substructural logics
Modal logicsand Correspondence theory
Philosophical logics
Coalgebra
Categorical methods in logic
Logical approach to natural language and reasoning (syntax and semantics)
Finite Model Theory and Complexity of Logical Theories
Type theory and Logic programming semantics
12月05日
2016
12月09日
2016
初稿截稿日期
初稿录用通知日期
注册截止日期
留言