When \((S,N)\)-implications are \((T,T _{1})\)-conditional functions?

DOI10.1016/S0165-0114(02)00178-1zbMath1014.03026MaRDI QIDQ1867705

Claudi Alsina, Enric Trillas

Publication date: 2 April 2003

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

zbMATH Keywords

triangular normfuzzy implicationsgeneralized modus ponenscompositional rule of inference

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items (18)

RU and \((U,N)\)-implications satisfying modus ponens ⋮ \((S,N)\)- and \(R\)-implications: A state-of-the-art survey ⋮ On the characterizations of \((S,N)\)-implications ⋮ Modus tollens with respect to uninorms: \(U\)-modus tollens ⋮ Interval-valued implications and interval-valued strong equality index with admissible orders ⋮ Modus ponens property of \(T\)-power based implications ⋮ On functional equations and inequalities related to some reasoning schemes that involve fuzzy implications ⋮ Two types of ordinal sums of fuzzy implications on bounded lattices ⋮ On a Generalization of the Modus Ponens: U-conditionality ⋮ New results of fuzzy implications satisfying \(i(x,i(y,z))=i(I(x,y),i(x,z))\) ⋮ Algebraic structures of interval-valued fuzzy \((S,\mathcal N)\)-implications ⋮ (S,N)-Implications on Bounded Lattices ⋮ QL-implications: some properties and intersections ⋮ On the law \(S(S(x,y),T(x,y))=S(x,y)\) of fuzzy logic ⋮ A survey on fuzzy relational equations. I: Classification and solvability ⋮ \((U,N)\)-implications and their characterizations ⋮ Uninorm based residual implications satisfying the modus ponens property with respect to a uninorm ⋮ On the continuity of residuals of triangular norms

Cites Work

• Unnamed Item
• Unnamed Item
• A general concept of fuzzy connectives, negations and implications based on t-norms and t-conorms
• On the simultaneous associativity of F(x,y) and x+y-F(x,y)
• Some remarks on approximate entailment
• Logic: Going farther from Tarski?
• Valued preference structures
• ON LOGIC AND FUZZY LOGIC
• On a family of connectives for fuzzy sets

This page was built for publication: When \((S,N)\)-implications are \((T,T _{1})\)-conditional functions?