top

Carles Noguera, Ph.D.

This person is no longer active at UTIA.
Position
senior research fellow
Department
Department of Decision-Making Theory
Mail
Room
275
Phone
266052563
Research interests
reasoning with graded notions, mathematical fuzzy logic, (abstract) algebraic logic, logics for artificial intelligence
Publications ÚTIA
list

Personal website

Submitted by kroupa on

Reasoning with graded properties

-
Department of Decision-Making Theory
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…

Predicate graded logics and their applications to computer science

-
Department of Decision-Making Theory
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…

First-order many-valued logics

-
Department of Decision-Making Theory
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…

Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics

-
Department of Decision-Making Theory
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…

Modeling vague quantifiers in mathematical fuzzy logic

-
Department of Decision-Making Theory

An Order-Based Approach to Non-Classical Propositional and Predicate Logics

-
Department of Decision-Making Theory

General theories of logical systems

Filozofická fakulta UK

Introduction to Algebraic Logic

Matematicko-fyzikální fakulta UK

Logic for Computer Science

Fakulta jaderná a fyzikálně-inženýrská ČVUT

Mathematical Fuzzy Logic

Filozofická fakulta UK
Mgr. Tomáš Lávička Ph.D.