Institute of Information Theory and Automation

You are here

Carles Noguera, Ph.D.

senior research fellow
Research interests: 
reasoning with graded notions, mathematical fuzzy logic, (abstract) algebraic logic, logics for artificial intelligence
Publications ÚTIA: 
2022-01-07 13:22

Person detail

Duration: 2018 - 2020
Graded properties are ubiquitous in human discourse and reasoning. They are characterized by the fact that they may apply with different intensity to different objects. Typical examples are vague properties (e.g.
Duration: 2017 - 2019
Classical mathematical logic, built on the conceptually simple core of propositional Boolean calculus, plays a crucial role in modern computer science. A critical limit to its applicability is the underlying bivalent principle that forces all propositions to be either true or false.
Duration: 2017 - 2018
Many-valued logics are a prominent family of non-classical logics whose intended semantics uses more than the two classical truth-values, truth/false. The study of these logics is stimulated by strong mutually beneficial connections with other mathematical disciplines such as universal algebra, topology, and model, proof, game and category theory.
Duration: 2016 - 2019
Substructural logics are formal reasoning systems that refine classical logic by weakening the structural rules in Gentzen sequent calculus. While classical logic generally formalises the notion of truth, substructural logics allow to handle notions such as resources, vagueness, meaning, and language syntax, motivated by studies in computer science, epistemology, economy, and linguistics.
Duration: 2015 - 2017
The main aim of the project is to deepen and extend the mathematical foundations for adequate modeling of vague quantifiers as fuzzy quantifiers in the framework of MFL.
Duration: 2013 - 2016
Formal systems of (non-)classical logics are essential in many areas of computer science. Their appreciation is due to their deductive nature, universality and portability, and the power they gain from their rigorous mathematical background. Such a diverse landscape of logical systems has greatly benefited from a unified approach offered by Abstract Algebraic Logic.



Mgr. Tomáš Lávička Ph.D.
Filozofická fakulta UK
Matematicko-fyzikální fakulta UK
Fakulta jaderná a fyzikálně-inženýrská ČVUT
Filozofická fakulta UK