The goal of this project is to study the distinct aspects, theoretical as well as applied, of many-valued logic and its computational applications. In particular, we shall consider both fuzzy logics valued on the [0, 1] real interval, along with its associated algebraic semantics, and logics valued on a discrete set (typically for constraint satisfaction problems and of satisfiability). On the one hand, fuzzy t-norm based logics have proved to be a good tool to model imprecision and vagueness, and we intend to study them in depth as a formal founding for approximate reasoning, incorporating elements of decidability and computational complexity. On the other hand, the finitely valued logics are important for the study of constraint satisfaction problems (including the classical satisfiability problem).

In what regards applications of both types of many-valued logics, we propose to divide them in 3 groups:

1. the study of argumentational systems based on many-valued logics, of great interest to multiagent systems,
2. fuzzy description logics, of great interest for ontologies and the semantic web, and
3. the design and application of many-valued satisfiability algorithms and their application to the resolution of computationally difficult problems.

MULOG 2 / Presupuesto total: 121.000? / Personal 34.300 / Gastos ejecución: 65.700 / Costes indirectos 21.000