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 the Logic of Left-Continuous t-Norms and Right-Continuous t-Conorms2022-12-06Paper
On Ruspini’s Models of Similarity-Based Approximate Reasoning2022-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
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 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/Q33426261983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37261081983-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/Q36650071981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39328491981-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


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Francesc Esteva