Skip to main content

Carles Noguera, Ph.D.

This person is no longer active at UTIA.
senior research fellow
Research interests
reasoning with graded notions, mathematical fuzzy logic, (abstract) algebraic logic, logics for artificial intelligence
Publications ÚTIA
Submitted by kroupa on
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…
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…
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…
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…
Mgr. Tomáš Lávička Ph.D.