Axiomatizing Monoidal Logic: A Correction. - Siegfried Gottwald; Àngel García-Cerdaña; Félix Bou (J. Multiple Valued Log. Soft Comput., 2003)

Complexity of Strict Implication. - Félix Bou (Advances in Modal Logic, 2004)

On weakening the Deduction Theorem and strengthening Modus Ponens. - Félix Bou; Josep Maria Font; José Luis García-Lapresta (Math. Log. Q., 2004)

On two fragments with negation and without implication of the logic of residuated lattices. - Félix Bou; Àngel García-Cerdaña; Ventura Verdú (Arch. Math. Log., 2006)

Modal Systems Based on Many-valued Logics. - Félix Bou; Francesc Esteva; Lluís Godo (EUSFLAT Conf. (1), 2007)

On some properties of quasi-MV algebras and Ö{cent} sqrt{^{ prime}} quasi-MV algebras. Part II. - Félix Bou; Francesco Paoli; Antonio Ledda; Hector Freytes (Soft Comput., 2008)

Characterizing Fuzzy Modal Semantics by Fuzzy Multimodal Systems with Crisp Accessibility Relations. - Félix Bou; Francesc Esteva; Lluís Godo; Ricardo Oscar Rodríguez (IFSA/EUSFLAT Conf., 2009)

Decidability of a Description Logic over Infinite-Valued Product Logic. - Marco Cerami; Francesc Esteva; Félix Bou (KR, 2010)

The Logic of Quasi-MV Algebras. - Félix Bou; Francesco Paoli; Antonio Ledda; Matthew Spinks; Roberto Giuntini (J. Log. Comput., 2010)

Finite-Valued Lukasiewicz Modal Logic Is PSPACE-Complete. - Félix Bou; Marco Cerami; Francesc Esteva (IJCAI, 2011)

The Closed Fragment of IL is PSPACE Hard. - Félix Bou; Joost J. Joosten (M4M/LAMAS, 2011)

On the failure of the finite model property in some Fuzzy Description Logics. - Fernando Bobillo; Félix Bou; Umberto Straccia (Fuzzy Sets Syst., 2011)

The logic of distributive bilattices. - Félix Bou; Umberto Rivieccio (Log. J. IGPL, 2011)

On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice. - Félix Bou; Francesc Esteva; Lluís Godo; Ricardo Oscar Rodríguez (J. Log. Comput., 2011)

An SMT-Based Solver for Continuous t-norm Based Logics. - Amanda Vidal; Félix Bou; Lluís Godo (SUM, 2012)

Logics preserving degrees of truth from varieties of residuated lattices. - Félix Bou; Francesc Esteva; Josep Maria Font; Àngel J. Gil; Lluís Godo; Antoni Torrens; Ventura Verdú (J. Log. Comput., 2012)

Infinite-valued Lukasiewicz Logic Based on Principal Lattice Filters. - Félix Bou (J. Multiple Valued Log. Soft Comput., 2012)

On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers. - Teresa Alsinet; David Barroso; Ramón Béjar; Félix Bou; Marco Cerami; Francesc Esteva (SUM, 2013)

Bilattices with Implications. - Félix Bou; Umberto Rivieccio (Stud Logica, 2013)

The role of blending in mathematical invention. - Félix Bou; Marco Schorlemmer; Joseph Corneli; Danny Gómez-Ramírez; Ewen Maclean; Alan Smaill; Alison Pease (ICCC, 2015)

Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic. - Félix Bou; Francesc Esteva; Lluís Godo; Ricardo Oscar Rodríguez (IPMU (2), 2016)

Editorial. - Félix Bou; Marco Cerami; Pere Garcia; Àngel García-Cerdaña; Lluís Godo; Carles Noguera (Fuzzy Sets Syst., 2016)

On strong standard completeness in some MTL $$_ Delta $$ Δ expansions. - Amanda Vidal; Félix Bou; Francesc Esteva; Lluís Godo (Soft Comput., 2017)

Amalgams, Colimits, and Conceptual Blending. - Félix Bou; Enric Plaza; Marco Schorlemmer (Concept Invention, 2018)