16-18 Sep 2010
Turin, Poland
Non-Classical Logic. Theory and Applications 3rd Edition September 16-18, 2010 Torun, Poland http://www.logika.umk.pl/LNK10/index_en.html Nonclassical logics form one of the most important branches of modern logic. In last decades a great variety of formal systems was developed especially in the context of computer science, artificial intelligence, formal linguistics, cognitive studies, as well as for the deeper analysis of traditional philosophical problems. The well known families of nonclassical logics include among others: - Modal Logics - Many-valued Logics - Temporal Logics - Epistemic Logics - Substructural Logics - Nonmonotonic Logics - Paraconsistent Logics The diversification of systems and solutions calls for stricter cooperation between researchers from different fields of investigation. The main aim of conference is to provide a forum for better transfer of results. This is the third edition of "Non-Classical Logic. Theory and Applications". Two times the conference was organized by Departament of Logic and Methodology at Lodz University. This year's edition is organized in Torun by Department of Logic at Nicolaus Copernicus University (http://www.logika.umk.pl/index_en.html) The formula of the conference is open. We expect declarations (reports; answers) devoted both to theoretical problems and practical applications. We welcome all those who want to make a summary of some research done in a specific field or to present some new original results. Papers presented at the conference will be published in a special issue of Logic and Logical Philosophy (http://www.logika.umk.pl/llp/index.html). Organizing Comitee: Andrzej Indrzejczak (LU), Tomasz Jarmuzek (NCU), Janusz Kaczmarek (LU), Marek Nasieniewski (NCU), Andrzej Pietruszczak (NCU) Deadline for submissions (title and abstract): August 15, 2010 Deadline for registration and payment: August 31, 2010 Conference dates: September 16-18, 2010