Félix Bou

According to our database, Félix Bou authored at least 24 papers between 2003 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Amalgams, Colimits, and Conceptual Blending.

Félix Bou, Enric Plaza, Marco Schorlemmer

Proceedings of the Concept Invention, 2018

2017

On strong standard completeness in some MTL $$_\Delta $$ Δ expansions.

Amanda Vidal, Félix Bou, Francesc Esteva, Lluís Godo

Soft Comput., 2017

2016

Editorial.

Félix Bou, Marco Cerami, Pere Garcia, Àngel García-Cerdaña, Lluís Godo, Carles Noguera

Fuzzy Sets Syst., 2016

Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic.

Félix Bou, Francesc Esteva, Lluís Godo, Ricardo Oscar Rodríguez

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2016

2015

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

Proceedings of the Sixth International Conference on Computational Creativity, 2015

2013

Bilattices with Implications.

Félix Bou, Umberto Rivieccio

Stud Logica, 2013

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

Proceedings of the Scalable Uncertainty Management - 7th International Conference, 2013

2012

Infinite-valued Lukasiewicz Logic Based on Principal Lattice Filters.

Félix Bou

J. Multiple Valued Log. Soft Comput., 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

An SMT-Based Solver for Continuous t-norm Based Logics.

Amanda Vidal, Félix Bou, Lluís Godo

Proceedings of the Scalable Uncertainty Management - 6th International Conference, 2012

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

The logic of distributive bilattices.

Félix Bou, Umberto Rivieccio

Log. J. IGPL, 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 Closed Fragment of IL is PSPACE Hard.

Félix Bou, Joost J. Joosten

Proceedings of the 7th Workshop on Methods for Modalities, 2011

Finite-Valued Lukasiewicz Modal Logic Is PSPACE-Complete.

Félix Bou, Marco Cerami, Francesc Esteva

Proceedings of the IJCAI 2011, 2011

2010

The Logic of Quasi-MV Algebras.

Félix Bou, Francesco Paoli, Antonio Ledda, Matthew Spinks, Roberto Giuntini

J. Log. Comput., 2010

Decidability of a Description Logic over Infinite-Valued Product Logic.

Marco Cerami, Francesc Esteva, Félix Bou

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

2009

Characterizing Fuzzy Modal Semantics by Fuzzy Multimodal Systems with Crisp Accessibility Relations.

Félix Bou, Francesc Esteva, Lluís Godo, Ricardo Oscar Rodríguez

Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference, 2009

2008

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

2007

Modal Systems Based on Many-valued Logics.

Félix Bou, Francesc Esteva, Lluís Godo

Proceedings of the New Dimensions in Fuzzy Logic and Related Technologies. Proceedings of the 5th EUSFLAT Conference, 2007

2006

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

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

Complexity of Strict Implication.

Félix Bou

Proceedings of the Advances in Modal Logic 5, 2004

2003

Axiomatizing Monoidal Logic: A Correction.

Siegfried Gottwald, Àngel García-Cerdaña, Félix Bou

J. Multiple Valued Log. Soft Comput., 2003