Non-classical Logics
The research group focuses on several areas of non-classical logic, most notably on fuzzy logics, which admit a scale of truth degrees between true and false, thereby allowing for better modeling of reasoning with uncertain or vague expressions. Members of the group also study various substructural, many-valued, paraconsistent, and modal logics, including their first- and higher-order variants, generalized quantifiers, fuzzy type theories, general and axiomatic theories of fuzzy structures, and related topics. The research focuses on the metamathematical properties of these logics, the algebras of their truth values, formal calculi for these logics, and their model theory. An integral part of the research is the interpretation and application of these logics in computer science, mathematical modeling, and the logical analysis of natural language.
Updated: 19. 03. 2025