When (S,N)-implications are (T,T _1)-conditional functions?
One of the key issues in the formalization of approximate reasoning is the so-called compositional rule of inference, also called the generalized modus ponens, i.e., from an imprecise fact \(P\) and an imprecise rule \(P\Rightarrow Q\) can we deduce the imprecise conclusion \(Q\)? The answer heavily depends on the implication used to model the rule and on the triangular norm used to model the confluence between the given fact and the given rule. In mathematical terms, the following problem arises. Starting from a non-strict Archimedean t-norm \(T\), a continuous Archimedean t-conorm \(S\), and a strong negation induced by \(T\), under which conditions is the \([0,1]^2-[0,1]\) mapping \(T_1\), defined by \(T_1(x,y)=T(x,S(N(x),y))\), a triangular norm? This paper gives three characterizations.
- A general concept of fuzzy connectives, negations and implications based on t-norms and t-conorms
- scientific article; zbMATH DE number 3870293 (Why is no real title available?)
- scientific article; zbMATH DE number 700081 (Why is no real title available?)
- Logic: Going farther from Tarski?
- On a family of connectives for fuzzy sets
- On logic and fuzzy logic
- On the simultaneous associativity of F(x,y) and x+y-F(x,y)
- Some remarks on approximate entailment
- Valued preference structures
- On the law \(S(S(x,y),T(x,y))=S(x,y)\) of fuzzy logic
- (U,N)-implications and their characterizations
- On the continuity of residuals of triangular norms
- On computation of the compositional rule of inference under triangular norms
- On the compositional rule of inference under triangular norms
- New results of fuzzy implications satisfying \(i(x,i(y,z))=i(I(x,y),i(x,z))\)
- QL-implications: some properties and intersections
- Uninorm based residual implications satisfying the modus ponens property with respect to a uninorm
- On the characterizations of \((S,N)\)-implications
- Interval-valued implications and interval-valued strong equality index with admissible orders
- The logic of tied implications. I: Properties, applications and representation
- Modus tollens with respect to uninorms: \(U\)-modus tollens
- RU and (U,N)-implications satisfying modus ponens
- scientific article; zbMATH DE number 4046440 (Why is no real title available?)
- scientific article; zbMATH DE number 25286 (Why is no real title available?)
- Algebraic structures of interval-valued fuzzy \((S,\mathcal N)\)-implications
- On the T-conditionality of T-power based implications.
- On a generalization of the modus ponens: \(U\)-conditionality
- (\(S,N\))-implications on bounded lattices
- 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
- A survey on fuzzy relational equations. I: Classification and solvability
- \((S,N)\)- and \(R\)-implications: A state-of-the-art survey
This page was built for publication: When \((S,N)\)-implications are \((T,T _{1})\)-conditional functions?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1867705)
