Francesc Esteva

From MaRDI portal
Person:167895

Available identifiers

zbMath Open esteva.francescMaRDI QIDQ167895

List of research outcomes





PublicationDate of PublicationType
On decidability of concept satisfiability in description logic with product semantics2023-10-30Paper
On Ruspini’s Models of Similarity-Based Approximate Reasoning2022-12-06Paper
On the Logic of Left-Continuous t-Norms and Right-Continuous t-Conorms2022-12-06Paper
Connecting systems of mathematical fuzzy logic with fuzzy concept lattices2022-12-01Paper
A probabilistic author-centered model for twitter discussions2022-12-01Paper
On the expressive power of Łukasiewicz square operator2022-09-22Paper
Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions2022-07-22Paper
A Similarity-Based Three-Valued Modal Logic Approach to Reason with Prototypes and Counterexamples2022-03-02Paper
Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency2022-01-04Paper
Logics of formal inconsistency based on distributive involutive residuated lattices2021-09-22Paper
Axiomatizing logics of fuzzy preferences using graded modalities2021-06-24Paper
On distributive join semilattices2021-03-19Paper
On the expressive power of Lukasiewicz's square operator2021-03-12Paper
Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic2020-08-20Paper
On the Equational Characterization of Continuous t-Norms2020-02-04Paper
https://portal.mardi4nfdi.de/entity/Q46277532019-03-11Paper
Maximality in finite-valued Łukasiewicz logics defined by order filters2019-03-01Paper
On the relationship between fuzzy description logics and many-valued modal logics2019-02-20Paper
Logics of formal inconsistency arising from systems of fuzzy logic2019-01-08Paper
On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics2019-01-08Paper
Expanding \(\text{FL}_{ew}\) with a Boolean connective2018-02-23Paper
On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions2018-02-23Paper
On modal extensions of Product fuzzy logic2017-05-17Paper
On Conjectures in t-Norm Based Fuzzy Logics2017-04-10Paper
Paraconsistency properties in degree-preserving fuzzy logics2016-11-22Paper
Logics for approximate entailment in ordered universes of discourse2016-03-09Paper
Introduction2015-10-06Paper
On Possibilistic Modal Logics Defined Over MTL-Chains2015-10-06Paper
On finitely-valued fuzzy description logics2014-10-23Paper
A logical approach to fuzzy truth hedges2014-08-01Paper
https://portal.mardi4nfdi.de/entity/Q54060392014-04-01Paper
On elementary equivalence in fuzzy predicate logics2013-02-15Paper
Fuzzy logics with truth hedges revisited2013-01-15Paper
On Finitely Valued Fuzzy Description Logics: The Łukasiewicz Case2012-11-28Paper
Logics for approximate and strong entailments2012-11-21Paper
Corrigendum to: ``Logics preserving degrees of truth from varieties of residuated lattices2012-06-20Paper
Interpolation of fuzzy data: analytical approach and overview2012-05-18Paper
ENRICHED INTERVAL BILATTICES AND PARTIAL MANY-VALUED LOGICS: AN APPROACH TO DEAL WITH GRADED TRUTH AND IMPRECISION2012-02-17Paper
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice2011-11-10Paper
Strict core fuzzy logics and quasi-witnessed models2011-08-16Paper
https://portal.mardi4nfdi.de/entity/Q29983872011-05-18Paper
Fuzzy description logics and \(t\)-norm based fuzzy logics2010-09-02Paper
Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics2010-03-26Paper
On expansions of WNM t-norm based logics with truth-constants2010-03-18Paper
Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics2010-03-11Paper
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices2010-01-14Paper
Commutative integral bounded residuated lattices with an added involution2009-11-04Paper
First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties2009-11-04Paper
Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies2009-06-17Paper
https://portal.mardi4nfdi.de/entity/Q36145602009-03-09Paper
https://portal.mardi4nfdi.de/entity/Q36055562009-02-24Paper
https://portal.mardi4nfdi.de/entity/Q35986002009-02-03Paper
https://portal.mardi4nfdi.de/entity/Q35335532008-10-23Paper
On triangular norm based axiomatic extensions of the weak nilpotent minimum logic2008-08-15Paper
https://portal.mardi4nfdi.de/entity/Q35087152008-07-01Paper
Towards the Generalization of Mundici’s Γ Functor to IMTL Algebras: The Linearly Ordered Case2007-11-15Paper
Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results2007-04-18Paper
On Product Logic with Truth-constants2006-07-03Paper
Varieties of BL-algebras2006-03-02Paper
Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops2005-11-24Paper
On Some Varieties of MTL-algebras2005-11-08Paper
Transactions on Rough Sets II2005-08-26Paper
On the scope of some formulas defining additive connectives in fuzzy logics2005-08-22Paper
Equational characterization of the subvarieties of BL generated by t-norm algebras2004-08-06Paper
https://portal.mardi4nfdi.de/entity/Q44606732004-03-29Paper
https://portal.mardi4nfdi.de/entity/Q44504492004-02-15Paper
https://portal.mardi4nfdi.de/entity/Q44427492004-01-20Paper
Hoops and Fuzzy Logic2003-11-10Paper
Subvarieties of BL-algebras generated by single-component chains2003-09-16Paper
On implicative closure operators in approximate reasoning.2003-08-17Paper
On a class of left-continuous \(\text t\)-norms2003-04-02Paper
https://portal.mardi4nfdi.de/entity/Q45494822003-03-27Paper
On defining multiple-valued logics for knowledge-based systems communication2002-10-23Paper
On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic2002-08-26Paper
The variety generated by perfect BL-algebras: an algebraic approach in a fuzzy logic setting2002-06-27Paper
Monoidal t-norm based logic: Towards a logic for left-continuous t-norms2002-05-21Paper
Systems of ordinal fuzzy logic with application to preference modelling2002-05-21Paper
The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics2001-05-06Paper
Residuated fuzzy logics with an involutive negation2000-12-14Paper
https://portal.mardi4nfdi.de/entity/Q44980622000-10-31Paper
https://portal.mardi4nfdi.de/entity/Q44851952000-10-12Paper
https://portal.mardi4nfdi.de/entity/Q45062082000-09-14Paper
https://portal.mardi4nfdi.de/entity/Q49449572000-09-05Paper
A logical approach to interpolation based on similarity relations1999-12-20Paper
A modal account of similarity-based reasoning1999-12-20Paper
A logical approach to case-based reasoning using fuzzy similarity relations1999-06-22Paper
https://portal.mardi4nfdi.de/entity/Q48925941997-05-13Paper
A complete many-valued logic with product-conjunction1996-07-08Paper
On Ockham algebras: Congruence lattices and subdirectly irreducible algebras1996-03-05Paper
Relating and extending semantical approaches to possibilistic reasoning1995-06-30Paper
Local multi-valued logics in modular expert systems1995-06-30Paper
https://portal.mardi4nfdi.de/entity/Q31387071994-09-20Paper
https://portal.mardi4nfdi.de/entity/Q32037561988-01-01Paper
On symmetric algebras of fuzzy sets1987-01-01Paper
Some representable De Morgan algebras1984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37054961984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37243891984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37261081983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33426261983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33155061982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33408561981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33425711981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39328491981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36650071981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38939271980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32087121977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q42001241975-01-01Paper

Research outcomes over time

This page was built for person: Francesc Esteva