The finite model property for semilinear substructural logics.
Math. Log. Q., 2013
Logics for residuated pseudo-uninorms and their residua.
Fuzzy Sets Syst., 2013
Involutive uninorm logic with the n-potency axiom.
Fuzzy Sets Syst., 2013
Uninorm logic with the n-potency axiom.
Fuzzy Sets Syst., 2012
Perturbation of fuzzy sets and fuzzy reasoning based on normalized Minkowski distances.
Fuzzy Sets Syst., 2012
On an axiomatic system for the logic of linearly ordered BCI-matrices.
Arch. Math. Log., 2012
HpsUL is not the logic of pseudo-uninorms and their residua.
Log. J. IGPL, 2009
Prenex normal form in linguistic quantifiers modeled by Sugeno integrals.
Fuzzy Sets Syst., 2008
Logics with disjunction and proof by cases.
Arch. Math. Log., 2008
A fuzzy logic for the revised drastic product t-norm.
Soft Comput., 2007
A fuzzy logic for the revised drastic product <i>t</i>-norm.
Soft Comput., 2007
A Logical Framework for Fuzzy Quantifiers Part I: Basic Properties.
Proceedings of the Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, 2007
How to Construct Formal Systems for Fuzzy Logics.
Proceedings of the Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, 2007
Disjunctive elimination rule and its application in MTL.
Fuzzy Sets Syst., 2006
Undefinability of min-conjunction in MTL.
Fuzzy Sets Syst., 2006
Solutions to Cintula's open problems.
Fuzzy Sets Syst., 2006
NML, a schematic extension of F.Esteva and L.Godo's logic MTL.
Fuzzy Sets Syst., 2005
A fuzzy logic for an ordinal sum t-norm.
Fuzzy Sets Syst., 2005
A characterization of truth-functions in the nilpotent minimum logic.
Fuzzy Sets Syst., 2004
A triangular norm-based fuzzy predicate logic.
Fuzzy Sets Syst., 2003
A triangular-norm-based propositional fuzzy logic.
Fuzzy Sets Syst., 2003