Francesc
Esteva
Adjunct Professor Ad Honorem
Logic and Reasoning
Research areas:
- Fuzzy Logic
- Modal Logic
- Probability Logic
- Algebraic logic
- Inconsitency-tolerant reasoning
- 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]
Francesc Esteva,
Joan Gispert,
& Lluís Godo
(In Press).
On the non-falsity and threshold preserving variants of MTL logics.
Marie-Jeanne Lesot et_al (Eds.),
Proc. of EUSFLAT 2025
.
Springer, Cham.
[BibTeX]
[PDF]
2025
María Eugenia Cornejo,
Francesc Esteva,
Luis Fariñas,
Lluís Godo,
& Jesús Medina
(2025).
A multi-adjoint lattice logic based on Gödel logic.
László Kóczy, & Jesús Medina (Eds.),
16th European Symposium on Computational Intelligence and Mathematics, ESCIM 2025, Book of Abstracts
.
Universidad de Cádiz.
[BibTeX]
[PDF]
Joan Gispert,
Francesc Esteva,
Lluís Godo,
& Marcelo Coniglio
(2025).
On Nilpotent Minimum logics defined by lattice filters and their paraconsistent non-falsity preserving companions.
Logic Journal of the IGPL, 33, jzae126.
https://doi.org/10.1093/jigpal/jzae126.
[BibTeX]
[PDF]
2024
Francesc Esteva,
Joan Gispert,
& Lluís Godo
(2024).
Nilpotent Minimum logic preserving non-falsity and consistency operators.
A. Alonso al. (Eds.),
Actas XX Conf. de la Asociación Española para la Inteligencia Artificial, CAEPIA 2024 - ESTYLF 2024
(pp. 246-251).
https://caepia24.aepia.org/inicio_files/XX%20Caepia_2024_Actas_General.pdf.
[BibTeX]
[PDF]
Francesc Esteva,
Joan Gispert,
& Lluís Godo
(2024).
The non-falsity preserving companion of the Nilpotent Minimum Logic.
Booklet of Abstracts, TACL 2024
(pp. 118-119).
[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]
Prev
1 (current)
2
3
4
5
6
7
8
9
Next