Francesc Esteva

Orcid: 0000-0003-4466-3298

According to our database1, Francesc Esteva authored at least 118 papers between 1990 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions.
Stud Logica, 2022

On the expressive power of Łukasiewicz square operator.
J. Log. Comput., 2022

On decidability of concept satisfiability in Description Logic with product semantics.
Fuzzy Sets Syst., 2022

2021
A Similarity-Based Three-Valued Modal Logic Approach to Reason with Prototypes and Counterexamples.
Proceedings of the Fuzzy Approaches for Soft Computing and Approximate Reasoning: Theories and Applications, 2021

Logics of formal inconsistency based on distributive involutive residuated lattices.
J. Log. Comput., 2021

2020
Axiomatizing logics of fuzzy preferences using graded modalities.
Fuzzy Sets Syst., 2020

On the Logic of Left-Continuous t-Norms and Right-Continuous t-Conorms.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2020

On Ruspini's Models of Similarity-Based Approximate Reasoning.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2020

2019
Many-valued Logics for Reasoning: Essays in Honor of Lluís Godo on the Occasion of his 60th Birthday.
Soft Comput., 2019

Maximality in finite-valued Łukasiewicz logics defined by order filters.
J. Log. Comput., 2019

2018
On the relationship between fuzzy description logics and many-valued modal logics.
Int. J. Approx. Reason., 2018

Connecting Systems of Mathematical Fuzzy Logic with Fuzzy Concept Lattices.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations, 2018

A Probabilistic Author-Centered Model for Twitter Discussions.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations, 2018

2017
On strong standard completeness in some MTL $$_\Delta $$ Δ expansions.
Soft Comput., 2017

Expanding FL<sub>ew</sub> with a Boolean connective.
Soft Comput., 2017

On modal extensions of Product fuzzy logic.
J. Log. Comput., 2017

On the relation between modal and multi-modal logics over Łukasiewicz logic.
Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017

On Finite-Valued Bimodal Logics with an Application to Reasoning About Preferences.
Proceedings of the Advances in Fuzzy Logic and Technology 2017 - Proceedings of: EUSFLAT-2017 - The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 2017, Warsaw, Poland IWIFSGN'2017, 2017

On a Graded Modal Logic Approach to Reason with Fuzzy Preferences.
Proceedings of the Recent Advances in Artificial Intelligence Research and Development, 2017

A Modal Account of Preference in a Fuzzy Setting.
Proceedings of the Soft Computing Based Optimization and Decision Models, 2017

2016
On the Equational Characterization of Continuous t-Norms.
Proceedings of the On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory, 2016

Logics for Approximate Entailment in ordered universes of discourse.
Int. J. Approx. Reason., 2016

On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics.
Log. J. IGPL, 2016

Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2016

On a Three-Valued Logic to Reason with Prototypes and Counterexamples and a Similarity-Based Generalization.
Proceedings of the Advances in Artificial Intelligence, 2016

Smooth Finite T-norms and Their Equational Axiomatization.
Proceedings of the Fuzzy Logic and Information Fusion, 2016

2015
A Short Tribute to Enric Trillas Homage.
Proceedings of the Accuracy and Fuzziness. A Life in Science and Politics, 2015

Paraconsistency properties in degree-preserving fuzzy logics.
Soft Comput., 2015

On Strongly Standard Complete Fuzzy Logics: MTLQ* and its Expansions.
Proceedings of the 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (IFSA-EUSFLAT-15), 2015

On Conjectures in t-Norm Based Fuzzy Logics.
Proceedings of the Enric Trillas: A Passion for Fuzzy Sets, 2015

2014
On finitely-valued Fuzzy Description Logics.
Int. J. Approx. Reason., 2014

Logics of formal inconsistency arising from systems of fuzzy logic.
Log. J. IGPL, 2014

2013
A logical approach to fuzzy truth hedges.
Inf. Sci., 2013

On elementary equivalence in fuzzy predicate logics.
Arch. Math. Log., 2013

On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers.
Proceedings of the Scalable Uncertainty Management - 7th International Conference, 2013

Exploring Paraconsistency in Degree-Preserving Fuzzy Logics.
Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology, 2013

Fuzzy Set-Based Approximate Reasoning and Mathematical Fuzzy Logic.
Proceedings of the On Fuzziness - A Homage to Lotfi A. Zadeh - Volume 1, 2013

2012
Foreward.
J. Multiple Valued Log. Soft Comput., 2012

Introduction to the Special Issue of the IEEE 40th International Symposium on Multiple-Valued Logic.
J. Multiple Valued Log. Soft Comput., 2012

Logics preserving degrees of truth from varieties of residuated lattices.
J. Log. Comput., 2012

Interpolation of fuzzy data: Analytical approach and overview.
Fuzzy Sets Syst., 2012

Logics for approximate and strong entailments.
Fuzzy Sets Syst., 2012

On Finitely Valued Fuzzy Description Logics: The Łukasiewicz Case.
Proceedings of the Advances on Computational Intelligence, 2012

2011
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice.
J. Log. Comput., 2011

Strict core fuzzy logics and quasi-witnessed models.
Arch. Math. Log., 2011

Finite-Valued Lukasiewicz Modal Logic Is PSPACE-Complete.
Proceedings of the IJCAI 2011, 2011

Fuzzy logics with truth hedges revisited.
Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology, 2011

2010
Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics.
Soft Comput., 2010

Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics.
Inf. Sci., 2010

Fuzzy Description Logics and t-norm based fuzzy logics.
Int. J. Approx. Reason., 2010

On expansions of WNM t-norm based logics with truth-constants.
Fuzzy Sets Syst., 2010

Decidability of a Description Logic over Infinite-Valued Product Logic.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

On Elementary Extensions in Fuzzy Predicate Logics.
Proceedings of the Computational Intelligence for Knowledge-Based Systems Design, 2010

From classical Description Logic to n-graded Fuzzy Description Logic.
Proceedings of the FUZZ-IEEE 2010, 2010

2009
First-order t-norm based fuzzy logics with truth-constants: Distinguished semantics and completeness properties.
Ann. Pure Appl. Log., 2009

Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies.
Ann. Pure Appl. Log., 2009

Commutative integral bounded residuated lattices with an added involution.
Ann. Pure Appl. Log., 2009

On Triangular Norm Based Fuzzy Description Logics.
Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference, 2009

Characterizing Fuzzy Modal Semantics by Fuzzy Multimodal Systems with Crisp Accessibility Relations.
Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference, 2009

2008
On triangular norm based axiomatic extensions of the weak nilpotent minimum logic.
Math. Log. Q., 2008

On Fuzzy Description Logics.
Proceedings of the Artificial Intelligence Research and Development, 2008

2007
Fuzzy-set based logics - an history-oriented presentation of their main developments.
Proceedings of the Many Valued and Nonmonotonic Turn in Logic, 2007

Adding truth-constants to logics of continuous t-norms: Axiomatization and completeness results.
Fuzzy Sets Syst., 2007

On Lukasiewicz Logic with Truth Constants.
Proceedings of the Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, 2007

On Completeness Results for the Expansions with Truth-constants of Some Predicate Fuzzy Logics.
Proceedings of the New Dimensions in Fuzzy Logic and Related Technologies. Proceedings of the 5th EUSFLAT Conference, 2007

Modal Systems Based on Many-valued Logics.
Proceedings of the New Dimensions in Fuzzy Logic and Related Technologies. Proceedings of the 5th EUSFLAT Conference, 2007

2006
On Rational Weak Nilpotent Minimum Logics.
J. Multiple Valued Log. Soft Comput., 2006

On Product Logic with Truth-constants.
J. Log. Comput., 2006

Towards the Generalization of Mundici's <i>Gamma</i> Functor to IMTL Algebras: The Linearly Ordered Case.
Proceedings of the Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006

2005
Varieties of BL-algebras.
Soft Comput., 2005

Foreword.
Soft Comput., 2005

On Some Varieties of MTL-algebras.
Log. J. IGPL, 2005

On the scope of some formulas defining additive connectives in fuzzy logics.
Fuzzy Sets Syst., 2005

Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops.
Arch. Math. Log., 2005

On varieties generated by Weak Nilpotent Minimum t-norms.
Proceedings of the Joint 4th Conference of the European Society for Fuzzy Logic and Technology and the 11th Rencontres Francophones sur la Logique Floue et ses Applications, 2005

Fuzzy Multivalued Logics and T-Norms.
Proceedings of the Joint 4th Conference of the European Society for Fuzzy Logic and Technology and the 11th Rencontres Francophones sur la Logique Floue et ses Applications, 2005

A principled approach to fuzzy rule base interpolation using similarity relations.
Proceedings of the Joint 4th Conference of the European Society for Fuzzy Logic and Technology and the 11th Rencontres Francophones sur la Logique Floue et ses Applications, 2005

2004
On Learning Similarity Relations in Fuzzy Case-Based Reasoning.
Trans. Rough Sets, 2004

Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras.
Stud Logica, 2004

2003
Hoops and Fuzzy Logic.
J. Log. Comput., 2003

On implicative closure operators in approximate reasoning.
Int. J. Approx. Reason., 2003

A Fuzzy Modal Logic for Belief Functions.
Fundam. Informaticae, 2003

Axiomatization of Anz Residuated Fuzzy Logic Defined bz a Continuous T-norm.
Proceedings of the Fuzzy Sets and Systems - IFSA 2003, 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30, 2003

On definability of maximum in left-continuous t-norms.
Proceedings of the 3rd Conference of the European Society for Fuzzy Logic and Technology, 2003

2002
On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic.
Stud Logica, 2002

On a class of left-continuous t-norms.
Fuzzy Sets Syst., 2002

Subvarieties of BL-algebras generated by single-component chains.
Arch. Math. Log., 2002

The Variety Generated by Perfect BL-Algebras: an Algebraic Approach in a Fuzzy Logic Setting.
Ann. Math. Artif. Intell., 2002

2001
Monoidal t-norm based logic: towards a logic for left-continuous t-norms.
Fuzzy Sets Syst., 2001

Systems of ordinal fuzzy logic with application to preference modelling.
Fuzzy Sets Syst., 2001

The <i>L</i>PL\Pi and <i>L</i>P1/2 L Pi 1/2 logics: two complete fuzzy systems joining Lukasiewicz and Product Logics.
Arch. Math. Log., 2001

On Complete Residuated Many-Valued Logics with T-Norm Conjunction.
Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

An Information-Based Discussion of Vagueness.
Proceedings of the 10th IEEE International Conference on Fuzzy Systems, 2001

Fuzzy similarity-based models in case-based reasoning.
Proceedings of the 2nd International Conference in Fuzzy Logic and Technology, 2001

2000
Basic Fuzzy Logic is the logic of continuous t-norms and their residua.
Soft Comput., 2000

Residuated fuzzy logics with an involutive negation.
Arch. Math. Log., 2000

1999
Theory and application of multiple-valued logics for knowledge-based systems.
Proceedings of the EUSFLAT-ESTYLF Joint Conference, 1999

QBL: towards a logic for left-continuous t-norms.
Proceedings of the EUSFLAT-ESTYLF Joint Conference, 1999

1998
A Logical Approach to Case-Based Reasoning using Fuzzy Similarity relations.
Inf. Sci., 1998

Fuzzy set modelling in case-based reasoning.
Int. J. Intell. Syst., 1998

Map Generation by Cooperative Low-Cost Robots in Structured Unknown Environments.
Auton. Robots, 1998

1997
A modal account of similarity-based reasoning.
Int. J. Approx. Reason., 1997

Editorial.
Int. J. Approx. Reason., 1997

A logical approach to interpolation based on similarity relations.
Int. J. Approx. Reason., 1997

Case-Based Reasoning: A Fuzzy Approach.
Proceedings of the Fuzzy Logic in Artificial Intelligence, 1997

Fuzzy Modelling of Case-Based Reasoning and Decision.
Proceedings of the Case-Based Reasoning Research and Development, 1997

Generation of Unknown Environment Maps by Cooperative Low-Cost Robots.
Proceedings of the First International Conference on Autonomous Agents, 1997

1996
A complete many-valued logic with product-conjunction.
Arch. Math. Log., 1996

1995
On Ockham algebras: congruence lattices and subdirectly irreducible algebras.
Stud Logica, 1995

Fuzzy logic and probability.
Proceedings of the UAI '95: Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, 1995

Similarity-based Consequence Relations.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995

1994
Local multi-valued logics in modular expert systems.
J. Exp. Theor. Artif. Intell., 1994

Enriched Interval Bilattices and Partial Many-Valued Logics: an Approach to Deal with Graded Truth and Imprecision.
Int. J. Uncertain. Fuzziness Knowl. Based Syst., 1994

Relating and extending semantical approaches to possibilistic reasoning.
Int. J. Approx. Reason., 1994

On Modal Logics for Qualitative Possibility in a Fuzzy Setting.
Proceedings of the UAI '94: Proceedings of the Tenth Annual Conference on Uncertainty in Artificial Intelligence, 1994

1991
Combining Multiple-valued Logics in Modular Expert Systems.
Proceedings of the UAI '91: Proceedings of the Seventh Annual Conference on Uncertainty in Artificial Intelligence, 1991

A Formal Semantical Approach to Fuzzy Logic.
Proceedings of the 21st International Symposium on Multiple-Valued Logic, 1991

1990
Formalizing Multiple-Valued Logics as Institutions.
Proceedings of the Uncertainty in Knowledge Bases, 1990


  Loading...