Félix Bou

Publication Activity (10 Years)

Years Active: 2003-2017
Publications (10 Years): 4

Top Topics

Argumentation Frameworks

Top Venues

J. Log. Comput.

Publications

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