Félix Bou

28 papers A* 2B 1C 1Journal 16Unranked 7
YearRankTypeTitle / Venue / Authors
2018 — ch.
Amalgams, Colimits, and Conceptual Blending.
Concept Invention
Félix Bou, Enric Plaza, Marco Schorlemmer
2017 J jnl
On strong standard completeness in some MTL $$_\Delta $$ Δ expansions.
Soft Comput.
Amanda Vidal, Félix Bou, Francesc Esteva, Lluís Godo
2016 J jnl
Editorial.
Fuzzy Sets Syst.
Félix Bou, Marco Cerami, Pere Garcia, Àngel García-Cerdaña, Lluís Godo, Carles Noguera
2016 — conf
Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic.
IPMU (2)
Félix Bou, Francesc Esteva, Lluís Godo, Ricardo Oscar Rodríguez
2016 J jnl
Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic.
CoRR
Félix Bou, Francesc Esteva, Lluís Godo, Ricardo Oscar Rodríguez
2015 C conf
The role of blending in mathematical invention.
ICCC
Félix Bou, Marco Schorlemmer, Joseph Corneli, Danny Gómez-Ramírez, Ewen Maclean, Alan Smaill, Alison Pease
2013 J jnl
Bilattices with Implications.
Stud Logica
Félix Bou, Umberto Rivieccio
2013 — conf
On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers.
SUM
Teresa Alsinet, David Barroso, Ramón Béjar, Félix Bou, Marco Cerami, Francesc Esteva
2012 — conf
An SMT-Based Solver for Continuous t-norm Based Logics.
SUM
Amanda Vidal, Félix Bou, Lluís Godo
2012 J jnl
Infinite-valued Lukasiewicz Logic Based on Principal Lattice Filters.
J. Multiple Valued Log. Soft Comput.
Félix Bou
2012 J jnl
Logics preserving degrees of truth from varieties of residuated lattices.
J. Log. Comput.
Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, Lluís Godo, Antoni Torrens, Ventura Verdú
2011 A* conf
Finite-Valued Lukasiewicz Modal Logic Is PSPACE-Complete.
IJCAI
Félix Bou, Marco Cerami, Francesc Esteva
2011 J jnl
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice.
J. Log. Comput.
Félix Bou, Francesc Esteva, Lluís Godo, Ricardo Oscar Rodríguez
2011 J jnl
On the failure of the finite model property in some Fuzzy Description Logics.
Fuzzy Sets Syst.
Fernando Bobillo, Félix Bou, Umberto Straccia
2011 — conf
The Closed Fragment of IL is PSPACE Hard.
M4M/LAMAS
Félix Bou, Joost J. Joosten
2011 J jnl
The logic of distributive bilattices.
Log. J. IGPL
Félix Bou, Umberto Rivieccio
2010 A* conf
Decidability of a Description Logic over Infinite-Valued Product Logic.
KR
Marco Cerami, Francesc Esteva, Félix Bou
2010 — conf
Infinite-Valued Lukasiewicz Logic Based on Principal Lattice Filters.
ISMVL
Félix Bou
2010 J jnl
On the Failure of the Finite Model Property in some Fuzzy Description Logics
CoRR
Fernando Bobillo, Félix Bou, Umberto Straccia
2010 J jnl
The Logic of Quasi-MV Algebras.
J. Log. Comput.
Félix Bou, Francesco Paoli, Antonio Ledda, Matthew Spinks, Roberto Giuntini
2009 — conf
Characterizing Fuzzy Modal Semantics by Fuzzy Multimodal Systems with Crisp Accessibility Relations.
IFSA/EUSFLAT Conf.
Félix Bou, Francesc Esteva, Lluís Godo, Ricardo Oscar Rodríguez
2009 J jnl
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices.
J. Log. Comput.
Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, Lluís Godo, Antoni Torrens, Ventura Verdú
2008 J jnl
On some properties of quasi-MV algebras and Ö{
Soft Comput.
Félix Bou, Francesco Paoli, Antonio Ledda, Hector Freytes
2007 — conf
Modal Systems Based on Many-valued Logics.
EUSFLAT Conf. (1)
Félix Bou, Francesc Esteva, Lluís Godo
2006 J jnl
On two fragments with negation and without implication of the logic of residuated lattices.
Arch. Math. Log.
Félix Bou, Àngel García-Cerdaña, Ventura Verdú
2004 B conf
Complexity of Strict Implication.
Advances in Modal Logic
Félix Bou
2004 J jnl
On weakening the Deduction Theorem and strengthening Modus Ponens.
Math. Log. Q.
Félix Bou, Josep Maria Font, José Luis García-Lapresta
2003 J jnl
Axiomatizing Monoidal Logic: A Correction.
J. Multiple Valued Log. Soft Comput.
Siegfried Gottwald, Àngel García-Cerdaña, Félix Bou