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,  Tommaso Flaminio,  & Lluís Godo (In Press). On the expressive power of Lukasiewicz’s square operator. Journal of Logic and Computation. https://doi.org/10.1093/logcom/exab064. [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. 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. 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]