#### Filter Results:

- Full text PDF available (33)

#### Publication Year

2001

2017

- This year (0)
- Last 5 years (9)
- Last 10 years (27)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Fernando Bobillo, Félix Bou, Umberto Straccia
- Fuzzy Sets and Systems
- 2011

Fuzzy Description Logics (DLs) are a family of logics which allow the representation of (and the reasoning with) structured knowledge affected by vagueness. Although most of the not very expressive… (More)

- Félix Bou, Francesc Esteva, Lluis Godo, Ricardo Oscar Rodríguez
- J. Log. Comput.
- 2011

This article deals with many-valued modal logics, based only on the necessity operator, over a residuated lattice. We focus on three basic classes, according to the accessibility relation, of Kripke… (More)

- Marco Cerami, Francesc Esteva, Félix Bou
- KR
- 2010

This paper proves that validity and satisfiability of assertions in the Fuzzy Description Logic based on infinite-valued Product Logic with universal and existential quantifiers (which are… (More)

- Félix Bou
- 2005

We show in this paper that the (commutative integral bounded) semilatticed pseudocomplemented monoids PM and the involutive algebras of this class, which are structures that appear in the semantical… (More)

- Félix Bou, Francesco Paoli, Antonio Ledda, Matthew Spinks, Roberto Giuntini
- J. Log. Comput.
- 2010

The algebraic theory of quasi-MV algebras, generalisations of MV algebras arising in quantum computation, is by now rather well-developed. Although it is possible to define several interesting logics… (More)

- Amanda Vidal, Félix Bou, Lluis Godo
- SUM
- 2012

In the literature, little attention has been paid to the development of solvers for systems of mathematical fuzzy logic, even though there is an important number of studies on complexity and proof… (More)

The paper contains some algebraic results on several varieties of algebras having an (interlaced) bilattice reduct. Some of these algebras have already been studied in the literature (for instance… (More)

- Félix Bou, Francesc Esteva, +4 authors Ventura Verdú
- J. Log. Comput.
- 2012

- Félix Bou, Umberto Rivieccio
- Logic Journal of the IGPL
- 2011

Bilattices, introduced by Ginsberg [26] as a uniform framework for inference in Artificial Intelligence, are algebraic structures that proved useful in many fields. In recent years, Arieli and Avron… (More)

- Félix Bou
- 2010 40th IEEE International Symposium on…
- 2010

In this paper we axiomatize the formulas that, in the infinite-valued (standard) Lukasiewicz algebra, always take a value above certain fixed number. This generalizes the approach considered in the… (More)