Number of the records: 1
NCMPL 2011 Abstracts
- 1.
SYSNO ASEP 0374836 Document Type G - Proceedings (int. conf.) R&D Document Type O - Ostatní Title NCMPL 2011 Abstracts Author(s) Cintula, Petr (UIVT-O ed.) RID, ORCID, SAI
Ju, S. (ed. CN)
Víta, Martin (UIVT-O ed.)Issue data Prague: F solutions, 2011 ISBN 987-80-87465-00-4 Number of pages 145 s. Action NCMPL 2011. Non-Classical Modal and Predicate Logics Event date 05.12.2011-09.12.2011 VEvent location Guangzhou Country CN - China Event type WRD Language eng - English Country CZ - Czech Republic Keywords non-classical logic ; predicate logic ; modal logic ; intuitionistic logic ; substructural logic ; relevant logic ; fuzzy logic ; non-classical mathematics Subject RIV BA - General Mathematics CEZ AV0Z10300504 - UIVT-O (2005-2011) Annotation This volume contains (extended) abstracts of all 6 invited and 25 contributed talks presented at the conference Non-Classical Modal and Predicate Logics which took place in Guangzhou, December 5-9, 2011. Modalities and predicates have since ancient time been central notions in logic. In the 20th century, various systems of non-classical logics have emerged, with applications in many disciplines like Computer Science, Linguistics, Mathematics, and Philosophy. This gave rise to the questions of non-classical treatment of quantification and modalities and their accommodation in these non-classical settings. In response, various modal and predicate variants of non-classical logics have been introduced and studied in the past decades. Although there are many good conferences on (mainly propositional) non-classical logics, this conference was solely dedicated to modal and predicate non-classical logics. Its aim was to bring together esearchers from various branches of non-classical logics, not only to present recent advances in their particular fields, but also to identify common problems and methods and foster the exchange of ideas between researchers from separate fields. Workplace Institute of Computer Science Contact Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Year of Publishing 2012
Number of the records: 1