| Publication | Date of Publication | Type |
|---|
On decidability of concept satisfiability in description logic with product semantics
Fuzzy Sets and Systems | 2023-10-30 | Paper |
On Ruspini’s Models of Similarity-Based Approximate Reasoning
1512.03042 | 2022-12-06 | Paper |
On the Logic of Left-Continuous t-Norms and Right-Continuous t-Conorms
1512.03047 | 2022-12-06 | Paper |
| Connecting systems of mathematical fuzzy logic with fuzzy concept lattices | 2022-12-01 | Paper |
| A probabilistic author-centered model for twitter discussions | 2022-12-01 | Paper |
On the expressive power of Łukasiewicz square operator
Journal Of Logic And Computation | 2022-09-22 | Paper |
Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions
Studia Logica | 2022-07-22 | Paper |
A similarity-based three-valued modal logic approach to reason with prototypes and counterexamples
Fuzzy Approaches for Soft Computing and Approximate Reasoning: Theories and Applications | 2022-03-02 | Paper |
Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency
Outstanding Contributions to Logic | 2022-01-04 | Paper |
Logics of formal inconsistency based on distributive involutive residuated lattices
Journal Of Logic And Computation | 2021-09-22 | Paper |
Axiomatizing logics of fuzzy preferences using graded modalities
Fuzzy Sets and Systems | 2021-06-24 | Paper |
On distributive join semilattices
(available as arXiv preprint) | 2021-03-19 | Paper |
On the expressive power of Lukasiewicz's square operator
(available as arXiv preprint) | 2021-03-12 | Paper |
Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic
Information Processing and Management of Uncertainty in Knowledge-Based Systems | 2020-08-20 | Paper |
On the equational characterization of continuous t-norms
On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory | 2020-02-04 | Paper |
| scientific article; zbMATH DE number 7034311 (Why is no real title available?) | 2019-03-11 | Paper |
Maximality in finite-valued Łukasiewicz logics defined by order filters
Journal Of Logic And Computation | 2019-03-01 | Paper |
On the relationship between fuzzy description logics and many-valued modal logics
International Journal of Approximate Reasoning | 2019-02-20 | Paper |
Logics of formal inconsistency arising from systems of fuzzy logic
Logic Journal of the IGPL | 2019-01-08 | Paper |
On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics
Logic Journal of the IGPL | 2019-01-08 | Paper |
Expanding \(\text{FL}_{ew}\) with a Boolean connective
Soft Computing | 2018-02-23 | Paper |
On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions
Soft Computing | 2018-02-23 | Paper |
On modal extensions of product fuzzy logic
Journal Of Logic And Computation | 2017-05-17 | Paper |
On Conjectures in t-Norm Based Fuzzy Logics
Enric Trillas: A Passion for Fuzzy Sets | 2017-04-10 | Paper |
Paraconsistency properties in degree-preserving fuzzy logics
Soft Computing | 2016-11-22 | Paper |
Logics for approximate entailment in ordered universes of discourse
International Journal of Approximate Reasoning | 2016-03-09 | Paper |
Introduction
Petr Hájek on Mathematical Fuzzy Logic | 2015-10-06 | Paper |
On possibilistic modal logics defined over MTL-chains
Petr Hájek on Mathematical Fuzzy Logic | 2015-10-06 | Paper |
On finitely-valued fuzzy description logics
International Journal of Approximate Reasoning | 2014-10-23 | Paper |
A logical approach to fuzzy truth hedges
Information Sciences | 2014-08-01 | Paper |
| scientific article; zbMATH DE number 6276273 (Why is no real title available?) | 2014-04-01 | Paper |
On elementary equivalence in fuzzy predicate logics
Archive for Mathematical Logic | 2013-02-15 | Paper |
Fuzzy logics with truth hedges revisited
Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011) | 2013-01-15 | Paper |
On finitely valued fuzzy description logics: the Łukasiewicz case
Communications in Computer and Information Science | 2012-11-28 | Paper |
Logics for approximate and strong entailments
Fuzzy Sets and Systems | 2012-11-21 | Paper |
Corrigendum to: ``Logics preserving degrees of truth from varieties of residuated lattices
Journal of Logic and Computation | 2012-06-20 | Paper |
Interpolation of fuzzy data: analytical approach and overview
Fuzzy Sets and Systems | 2012-05-18 | Paper |
ENRICHED INTERVAL BILATTICES AND PARTIAL MANY-VALUED LOGICS: AN APPROACH TO DEAL WITH GRADED TRUTH AND IMPRECISION
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 2012-02-17 | Paper |
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
Journal Of Logic And Computation | 2011-11-10 | Paper |
Strict core fuzzy logics and quasi-witnessed models
Archive for Mathematical Logic | 2011-08-16 | Paper |
| On uncertainty and Kripke modalities in t-norm fuzzy logics | 2011-05-18 | Paper |
Fuzzy description logics and \(t\)-norm based fuzzy logics
International Journal of Approximate Reasoning | 2010-09-02 | Paper |
Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
Soft Computing | 2010-03-26 | Paper |
On expansions of WNM t-norm based logics with truth-constants
Fuzzy Sets and Systems | 2010-03-18 | Paper |
Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics
Information Sciences | 2010-03-11 | Paper |
Logics preserving degrees of truth from varieties of residuated lattices
Journal Of Logic And Computation | 2010-01-14 | Paper |
Commutative integral bounded residuated lattices with an added involution
Annals of Pure and Applied Logic | 2009-11-04 | Paper |
First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
Annals of Pure and Applied Logic | 2009-11-04 | Paper |
Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
Annals of Pure and Applied Logic | 2009-06-17 | Paper |
| On \(n\)-contractive fuzzy logics: first results | 2009-03-09 | Paper |
| On fuzzy logics based on t-norms and the results of Monteiro on symmetric Heyting algebras | 2009-02-24 | Paper |
| Exploring a syntactic notion of modal many-valued logics | 2009-02-03 | Paper |
| On completeness results for predicate Łukasiewicz, product, Gödel and nilpotent minimum logics expanded with truth-constants | 2008-10-23 | Paper |
On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
MLQ | 2008-08-15 | Paper |
| scientific article; zbMATH DE number 5295430 (Why is no real title available?) | 2008-07-01 | Paper |
Towards the Generalization of Mundici’s Γ Functor to IMTL Algebras: The Linearly Ordered Case
Lecture Notes in Computer Science | 2007-11-15 | Paper |
Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
Fuzzy Sets and Systems | 2007-04-18 | Paper |
On Product Logic with Truth-constants
Journal Of Logic And Computation | 2006-07-03 | Paper |
Varieties of BL-algebras
Soft Computing | 2006-03-02 | Paper |
Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops
Archive for Mathematical Logic | 2005-11-24 | Paper |
On Some Varieties of MTL-algebras
Logic Journal of the IGPL | 2005-11-08 | Paper |
Transactions on Rough Sets II
Lecture Notes in Computer Science | 2005-08-26 | Paper |
On the scope of some formulas defining additive connectives in fuzzy logics
Fuzzy Sets and Systems | 2005-08-22 | Paper |
Equational characterization of the subvarieties of BL generated by t-norm algebras
Studia Logica | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 2063019 (Why is no real title available?) | 2004-03-29 | Paper |
| scientific article; zbMATH DE number 2042619 (Why is no real title available?) | 2004-02-15 | Paper |
| scientific article; zbMATH DE number 2030505 (Why is no real title available?) | 2004-01-20 | Paper |
Hoops and Fuzzy Logic
Journal Of Logic And Computation | 2003-11-10 | Paper |
Subvarieties of BL-algebras generated by single-component chains
Archive for Mathematical Logic | 2003-09-16 | Paper |
On implicative closure operators in approximate reasoning.
International Journal of Approximate Reasoning | 2003-08-17 | Paper |
On a class of left-continuous \(\text t\)-norms
Fuzzy Sets and Systems | 2003-04-02 | Paper |
| scientific article; zbMATH DE number 1790417 (Why is no real title available?) | 2003-03-27 | Paper |
On defining multiple-valued logics for knowledge-based systems communication
Mathware & Soft Computing | 2002-10-23 | Paper |
On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
Studia Logica | 2002-08-26 | Paper |
The variety generated by perfect BL-algebras: an algebraic approach in a fuzzy logic setting
Annals of Mathematics and Artificial Intelligence | 2002-06-27 | Paper |
Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
Fuzzy Sets and Systems | 2002-05-21 | Paper |
Systems of ordinal fuzzy logic with application to preference modelling
Fuzzy Sets and Systems | 2002-05-21 | Paper |
The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
Archive for Mathematical Logic | 2001-05-06 | Paper |
Residuated fuzzy logics with an involutive negation
Archive for Mathematical Logic | 2000-12-14 | Paper |
| scientific article; zbMATH DE number 1495524 (Why is no real title available?) | 2000-10-31 | Paper |
| scientific article; zbMATH DE number 1455783 (Why is no real title available?) | 2000-10-12 | Paper |
| scientific article; zbMATH DE number 1508188 (Why is no real title available?) | 2000-09-14 | Paper |
| scientific article; zbMATH DE number 1420888 (Why is no real title available?) | 2000-09-05 | Paper |
A logical approach to interpolation based on similarity relations
International Journal of Approximate Reasoning | 1999-12-20 | Paper |
A modal account of similarity-based reasoning
International Journal of Approximate Reasoning | 1999-12-20 | Paper |
A logical approach to case-based reasoning using fuzzy similarity relations
Information Sciences | 1999-06-22 | Paper |
| scientific article; zbMATH DE number 927403 (Why is no real title available?) | 1997-05-13 | Paper |
A complete many-valued logic with product-conjunction
Archive for Mathematical Logic | 1996-07-08 | Paper |
On Ockham algebras: Congruence lattices and subdirectly irreducible algebras
Studia Logica | 1996-03-05 | Paper |
Relating and extending semantical approaches to possibilistic reasoning
International Journal of Approximate Reasoning | 1995-06-30 | Paper |
Local multi-valued logics in modular expert systems
Journal of Experimental & Theoretical Artificial Intelligence | 1995-06-30 | Paper |
| scientific article; zbMATH DE number 431933 (Why is no real title available?) | 1994-09-20 | Paper |
| scientific article; zbMATH DE number 4180390 (Why is no real title available?) | 1988-01-01 | Paper |
On symmetric algebras of fuzzy sets
Fuzzy Sets and Systems | 1987-01-01 | Paper |
Some representable De Morgan algebras
Journal of Mathematical Analysis and Applications | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3931081 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3954987 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3957092 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3875348 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3845575 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3873325 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3875274 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3749072 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3817598 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3700829 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3650620 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3641512 (Why is no real title available?) | 1975-01-01 | Paper |
