 | 2011 |
|---|
| 16 |       | Félix Bou,
Marco Cerami,
Francesc Esteva:
Finite-Valued Lukasiewicz Modal Logic Is PSPACE-Complete.
IJCAI 2011: 774-779 |
| 15 | | Félix Bou,
Joost J. Joosten:
The Closed Fragment of IL is PSPACE Hard.
Electr. Notes Theor. Comput. Sci. 278: 47-54 (2011) |
| 14 | | Fernando Bobillo,
Félix Bou,
Umberto Straccia:
On the failure of the finite model property in some Fuzzy Description Logics.
Fuzzy Sets and Systems 172(1): 1-12 (2011) |
| 13 | | Félix Bou,
Francesc Esteva,
Lluis Godo,
Ricardo Oscar Rodríguez:
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice.
J. Log. Comput. 21(5): 739-790 (2011) |
| 12 | | Félix Bou,
Umberto Rivieccio:
The logic of distributive bilattices.
Logic Journal of the IGPL 19(1): 183-216 (2011) |
| 2010 |
|---|
| 11 | | Félix Bou:
Infinite-Valued Lukasiewicz Logic Based on Principal Lattice Filters.
ISMVL 2010: 83-88 |
| 10 | | Marco Cerami,
Francesc Esteva,
Félix Bou:
Decidability of a Description Logic over Infinite-Valued Product Logic.
KR 2010 |
| 9 | | Fernando Bobillo,
Félix Bou,
Umberto Straccia:
On the Failure of the Finite Model Property in some Fuzzy Description Logics
CoRR abs/1003.1588: (2010) |
| 8 | | Félix Bou,
Francesco Paoli,
Antonio Ledda,
Matthew Spinks,
Roberto Giuntini:
The Logic of Quasi-MV Algebras.
J. Log. Comput. 20(2): 619-643 (2010) |
| 2009 |
|---|
| 7 | | Félix Bou,
Francesc Esteva,
Lluis Godo,
Ricardo Oscar Rodríguez:
Characterizing Fuzzy Modal Semantics by Fuzzy Multimodal Systems with Crisp Accessibility Relations.
IFSA/EUSFLAT Conf. 2009: 1541-1546 |
| 6 | | Félix Bou,
Francesc Esteva,
Josep Maria Font,
Àngel J. Gil,
Lluis Godo,
Antoni Torrens,
Ventura Verdú:
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices.
J. Log. Comput. 19(6): 1031-1069 (2009) |
| 2008 |
|---|
| 5 | | Félix Bou,
Francesco Paoli,
Antonio Ledda,
Hector Freytes:
On some properties of quasi-MV algebras and Ö{cent}\sqrt{^{\prime}} quasi-MV algebras. Part II.
Soft Comput. 12(4): 341-352 (2008) |
| 2007 |
|---|
| 4 | | Félix Bou,
Francesc Esteva,
Lluis Godo:
Modal Systems Based on Many-valued Logics.
EUSFLAT Conf. (1) 2007: 177-182 |
| 2006 |
|---|
| 3 | | 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): 615-647 (2006) |
| 2004 |
|---|
| 2 | | Félix Bou:
Complexity of Strict Implication.
Advances in Modal Logic 2004: 1-16 |
| 1 | | 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): 303-324 (2004) |
Data released under the ODC-BY 1.0 license — See also our legal information page