CA | ES | EN
Francesc
Francesc
 
Esteva
Esteva

Adjunct Professor Ad Honorem
Adjunct Professor Ad Honorem


Francesc
Francesc
 
Esteva
Esteva
Adjunct Professor Ad Honorem
Adjunct Professor Ad Honorem

Logic and Reasoning
Logic and Reasoning
(+34) 93 580 9570 ext.
431827
431827
esteva@iiia.csic.es
esteva@iiia.csic.es
Research areas:
  • Fuzzy Logic
  • Modal Logic
  • Probability Logic
  • Inconsitency-tolerant reasoning
  • Algebraic logic
  • Preferences
  • Approximate Reasoning and Soft computing
  • Fuzzy Logic
  • Modal Logic
  • Probability Logic
  • Inconsitency-tolerant reasoning
  • Algebraic logic
  • Preferences
  • Approximate Reasoning and Soft computing
Impact areas:
SDGs:
In Press
Tommaso Flaminio,  Lluís Godo,  Sara Ugolini,  & Francesc Esteva (In Press). An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic. H. Antunes, A. Rodrigues, & A. Roque (Eds.), Volume in Honour of Walter Carnielli. Springer. [BibTeX]  [PDF]
2022
Tommaso Flaminio,  Lluís Godo,  Sara Ugolini,  & Francesc Esteva (2022). A fuzzy logic-based approach to reason with inconsistent probabilistic theories. Actas del XXI Congreso de Tecnologías y Lógica Fuzzy (ESTYLF’22) (pp. 73–-74). Universidad de Castilla-La Mancha. [BibTeX]  [PDF]
Marco Cerami,  & Francesc Esteva (2022). On decidability of concept satisfiability in Description Logic with product semantics. Fuzzy Sets and Systems, 445, 1-21. https://doi.org/10.1016/j.fss.2021.11.013. [BibTeX]  [PDF]
Marcelo Coniglio,  Francesc Esteva,  Tommaso Flaminio,  & Lluís Godo (2022). On the expressive power of Lukasiewicz’s square operator. Journal of Logic and Computation, 32, 767-807. https://doi.org/10.1093/logcom/exab064. [BibTeX]  [PDF]
Ricardo Oscar Rodriguez,  Olim Frits Tuyt,  Francesc Esteva,  & Lluís Godo (2022). Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions. Studia Logica, 110, 1081-1114. https://doi.org/10.1007/s11225-022-09987-0. [BibTeX]  [PDF]
2021
Francesc Esteva,  Lluís Godo,  & Sandra Sandri (2021). A similarity-based three-valued modal logic approach to reason with prototypes and counterexamples. MJ. Lesot, & C. Marsala (Eds.), Fuzzy Approaches for Soft Computing and Approximate Reasoning: Theories and Applications (pp 45-59). Springer. https://doi.org/10.1007/978-3-030-54341-9_5. [BibTeX]  [PDF]
Marcelo Coniglio,  Francesc Esteva,  Joan Gispert,  & Lluís Godo (2021). Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency. O. Arielli, & A. Zamansky (Eds.), Arnon Avron on Semantics and Proof Theory of Non-Classical Logics (pp 107--139). Springer. https://doi.org/10.1007/978-3-030-71258-7_6. [BibTeX]  [PDF]
Francesc Esteva,  Aldo Figallo-Orellano,  Tommaso Flaminio,  & Lluís Godo (2021). Logics of formal inconsistency based on distributive involutive residuated lattices. Journal of Logic and Computation, 31, 1226-1265. https://doi.org/10.1093/logcom/exab029. [BibTeX]  [PDF]
Rodolfo Ertola-Biraben,  Francesc Esteva,  & Lluís Godo (2021). On distributive join semilattices. D. Fazio, A. Ledda, & F. Paoli (Eds.), Algebraic Perspectives on Substructural Logics (pp 21-40). Springer, Cham. https://doi.org/10.1007/978-3-030-52163-9_3. [BibTeX]  [PDF]
Francesc Esteva,  Aldo Figallo-Orellano,  Tommaso Flaminio,  & Lluís Godo (2021). Some Categorical Equivalences for Nelson Algebras with Consistency Operators. Joint Proceedings of the 19th World Congress of the International Fuzzy Systems Association (IFSA), the 12th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT), and the 11th International Summer School on Aggregation Operators (AGOP) (pp. 420-426). Atlantis Press. https://doi.org/10.2991/asum.k.210827.056. [BibTeX]  [PDF]
2020
Amanda Vidal,  Francesc Esteva,  & Lluís Godo (2020). Axiomatizing logics of fuzzy preferences using graded modalities. Fuzzy Sets and Systems, 401, 163-188. https://doi.org/10.1016/j.fss.2020.01.002. [BibTeX]  [PDF]
Francesc Esteva,  Aldo Figallo-Orellano,  Tommaso Flaminio,  & Lluís Godo (2020). Degree-preserving companion of Nelson logic expanded with a consistency operator. Anais do I Workshop Brasileiro de Lógica (pp. 41--48). SBC. https://doi.org/10.5753/wbl.2020.11457. [BibTeX]  [PDF]
Francesc Esteva,  Lluís Godo,  Ricardo Oscar Rodríguez,  & Thomas Vetterlein (2020). On Ruspini's Models of Similarity-Based Approximate Reasoning. Marie{-}Jeanne Lesot al. (Eds.), Information Processing and Management of Uncertainty in Knowledge-Based Systems - 18th International Conference, {IPMU}2020, Lisbon, Portugal, June 15-19, 2020, Proceedings, Part {I} (pp. 3--13). Springer. https://doi.org/10.1007/978-3-030-50146-4\_1. [BibTeX]  [PDF]
Lluís Godo,  Martín Sócola-Ramos,  & Francesc Esteva (2020). On the Logic of Left-Continuous t-Norms and Right-Continuous t-Conorms. Marie-Jeanne Lesot al. (Eds.), Information Processing and Management of Uncertainty in Knowledge-Based Systems - 18th International Conference, {IPMU}2020, Lisbon, Portugal, June 15-19, 2020, Proceedings, Part {III} (pp. 654--665). Springer. https://doi.org/10.1007/978-3-030-50153-2\_48. [BibTeX]  [PDF]
2019
Francesc Esteva,  Tommaso Flaminio,  & Lluís Godo (2019). From Fuzzy Sets to Mathematical Fuzzy Logic. Archives for Soft Computing, 2, 26-59. [BibTeX]  [PDF]
Marcelo Coniglio,  Francesc Esteva,  Joan Gispert,  & Lluís Godo (2019). Maximality in finite-valued Lukasiewicz logics defined by order filters. Journal of Logic and Computation, 29, 125-156. https://doi.org/10.1093/logcom/exy032. [BibTeX]  [PDF]
Marcelo Coniglio,  Francesc Esteva,  Joan Gispert,  & Lluís Godo (2019). On paraconsistent extensions of degree-preserving G\"odel logics with an involution. ManyVal 2019 - Book of Abstracts (pp. 37-38). [BibTeX]  [PDF]
Marcelo Coniglio,  Francesc Esteva,  Tommaso Flaminio,  & Lluís Godo (2019). Prime numbers and implication free reducts of MVn-chains. SYSMICS 2019 - Syntax meets Semantics (pp. 66-69). Institute for Logic, Language and Computation, University of Amsterdam. [BibTeX]  [PDF]
Ricardo Rodriguez,  Olim Tuyt,  Francesc Esteva,  & Lluís Godo (2019). Simplified Kripke semantics for K45- and KD45-like Godel modal logics. SYSMICS 2019 - Syntax meets Semantics (pp. 121-124). Institute for Logic, Language and Computation, University of Amsterdam. [BibTeX]  [PDF]
2018
Francesc Esteva,  Lluís Godo,  & Amanda Vidal (2018). A Modal Account of Preference in a Fuzzy Setting. D.A. Pelta, & A. Cruz Corona (Eds.), Soft Computing Based Optimization and Decision Models (pp 241-260). Springer. https://link.springer.com/chapter/10.1007%2F978-3-319-64286-4_15. [BibTeX]  [PDF]