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.
219
219
esteva@iiia.csic.es
esteva@iiia.csic.es
Research areas:
  • Algebraic logic
  • Fuzzy Logic
  • Modal Logic
  • Preferences
  • Approximate Reasoning and Soft computing
  • Algebraic logic
  • Fuzzy Logic
  • Modal Logic
  • Preferences
  • Approximate Reasoning and Soft computing
Impact areas:
SDGs:
In Press
Marcelo Coniglio,  Francesc Esteva,  Joan Gispert,  & Lluís Godo (In Press). 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. Springer. [BibTeX]  [PDF]
Francesc Esteva,  Aldo Figallo-Orellano,  Tommaso Flaminio,  & Lluís Godo (In Press). Logics of Formal Inconsistency Based on Distributive Involutive Residuated Lattices. Journal of Logic and Computation. https://doi.org/10.1093/logcom/exab029. [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]
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]
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. https://doi.org/https://www.unipapress.it/it/book/aphsc-2--2019_214/. [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://doi.org/https://link.springer.com/chapter/10.1007%2F978-3-319-64286-4_15. [BibTeX]  [PDF]
Amanda Vidal,  Francesc Esteva,  & Lluís Godo (2018). An alternative axiomatization for a fuzzy modal logic of preferences. ESTYLF 2018 (pp. 370-378). Universidad de Granada. [BibTeX]  [PDF]
Teresa Alsinet,  Josep Argelich,  Ram{\'{o}}n B{\'{e}}jar,  Francesc Esteva,  & Lluís Godo (2018). A Probabilistic Author-Centered Model for Twitter Discussions. J. Medina al. (Eds.), Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations - 17th International Conference, IPMU 2018, Proceedings, Part {II} (pp. 683--695). Springer. https://doi.org/10.1007/978-3-319-91476-3\_56. [BibTeX]  [PDF]
Pietro Codara,  Francesc Esteva,  Lluís Godo,  & Diego Valota (2018). Connecting systems of mathematical fuzzy logic with fuzzy concept lattices. J. Medina al. (Eds.), Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations. IPMU 2018 (pp. 275-286). Springer. https://doi.org/10.1007/978-3-319-91476-3_23. [BibTeX]  [PDF]
Marcelo Coniglio,  Francesc Esteva,  Joan Gispert,  & Lluís Godo (2018). Maximality in finite-valued Lukasiewicz logics defined by order filters. Logic, Algebra and Truth Degrees (LATD 2018) (pp. 39-42). University of Bern. https://doi.org/http://www.latd2018.unibe.ch/LATD2018_Proceedings.pdf. [BibTeX]  [PDF]
Marcelo Coniglio,  Francesc Esteva,  Tommaso Flaminio,  & Lluís Godo (2018). On an implication-free reduct of MV_n chains. Logic, Algebra and Truth Degrees (LATD 2018) (pp. 43-46). University of Bern. https://doi.org/http://www.latd2018.unibe.ch/LATD2018_Proceedings.pdf. [BibTeX]  [PDF]
Francesc Esteva,  & Lluís Godo (2018). On Extending Fuzzy Preorders to Sets and Their Corresponding Strict Orders. Eduardo Gil, Eva Gil, Juan Gil, & María Ángeles Gil (Eds.), The Mathematics of the Uncertain. Springer. https://doi.org/10.1007/978-3-319-73848-2_54. [BibTeX]  [PDF]