Contrapositive symmetry of fuzzy implications

DOI10.1016/0165-0114(94)00210-XzbMath0845.03007OpenAlexW2112660043MaRDI QIDQ1914454

Publication date: 3 September 1996

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

Full work available at URL: https://doi.org/10.1016/0165-0114(94)00210-x

zbMATH Keywords

functional equation fuzzy implications strong negations \(t\)-norms contrapositive symmetry residuation principle nilpotent minimum \(t\)-conorms Frank family \(QL\)-implications \(R\)-implications

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Related Items (only showing first 100 items - show all)

On a New Class of Implications in Fuzzy Logic ⋮ On the characterizations of fuzzy implications satisfying \(I(x,y)=I(x,I(x,y))\) ⋮ The triple rotation method for constructing t-norms ⋮ On the characterizations of \((S,N)\)-implications ⋮ A characterization of residual implications derived from left-continuous uninorms ⋮ Implicators based on binary aggregation operators in interval-valued fuzzy set theory ⋮ Continuity of triple I methods based on several implications ⋮ Computational complexities of axiomatic extensions of monoidal t-norm based logic ⋮ DIFFERENT TYPES OF CONTINUITY OF TRIANGULAR NORMS REVISITED ⋮ ORDINAL SUMS IN INTERVAL-VALUED FUZZY SET THEORY ⋮ CONTRAPOSITIVE SYMMETRY OF DISTRIBUTIVE FUZZY IMPLICATIONS ⋮ Robustness of \(f\)- and \(g\)-generated fuzzy (co)implications: the Yager's (co)implication case study ⋮ An overview of fuzzy logic connectives on the unit interval ⋮ A non-frame valued Cartesian closed category of liminf complete fuzzy orders ⋮ On interval \(R_{\mathbb{O}}\)- and \((\mathbb{G},\mathbb{O},\mathbb{N})\)-implications derived from interval overlap and grouping functions ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ REVISITING Xor-IMPLICATIONS: CLASSES OF FUZZY (CO)IMPLICATIONS BASED ON f-Xor (f-XNor) CONNECTIVES ⋮ Conjunction and Disjunction Based Fuzzy Interval Orders in Aggregation Process ⋮ On a new contrapositivisation technique for fuzzy implications constructed from quasi-overlap and quasi-grouping functions ⋮ Decomposition of idempotent pseudo-uninorms via ordinal sum ⋮ Ordinal sums: from triangular norms to bi- and multivariate copulas ⋮ Continuity of left-continuous triangular norms with special associated negations ⋮ SMETS-MAGREZ AXIOMS FOR R-IMPLICATORS IN INTERVAL-VALUED AND INTUITIONISTIC FUZZY SET THEORY ⋮ Some properties of fuzzy implications based on copulas ⋮ The study on semicopula based implications ⋮ CLASSES OF INTUITIONISTIC FUZZY T-NORMS SATISFYING THE RESIDUATION PRINCIPLE ⋮ On the direct decomposability of pseudo-t-norms, t-norms and implication operators on product lattices ⋮ The structure ofn-contractive t-norms ⋮ Unified full implication algorithms of fuzzy reasoning ⋮ A note on the unified forms of triple I method ⋮ An Overview of Construction Methods of Fuzzy Implications ⋮ Fuzzy Implications: Some Recently Solved Problems ⋮ Simplification and independence of axioms of fuzzy logic systems IMTL and NM ⋮ Xor-Implications and E-Implications: Classes of Fuzzy Implications Based on Fuzzy Xor ⋮ The logic of tied implications. I: Properties, applications and representation ⋮ Undefinability of min-conjunction in MTL ⋮ QL-implications: some properties and intersections ⋮ On interval fuzzy S-implications ⋮ MTL-algebras arising from partially ordered groups ⋮ On equivalence of approximate reasoning results using different interpretations of fuzzy if -- then rules ⋮ Invariant fuzzy implications ⋮ The convergence index of an implication matrix ⋮ Characteristics and applications of \(J_{I,B}\)-implications via some classical logic tautologies ⋮ On the direct decomposability of strong negations and \(S\)-implication operators on product lattices ⋮ Definition and construction of fuzzy DI-subsethood measures ⋮ On continuity of the entropy-based differently implicational algorithm ⋮ Structure of left-continuous triangular norms with strong induced negations (I) Rotation construction ⋮ Structures of opposition and comparisons: Boolean and gradual cases ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Data fusion: a study of adaptative combinations with incomplete certainty qualification ⋮ The non-contradiction principle related to natural negations of fuzzy implication functions ⋮ Totally Ordered Monoids Based on Triangular Norms ⋮ WEAK FUZZY S-SUBSETHOOD MEASURES: OVERLAP INDEX ⋮ Q-filters of quantum B-algebras and basic implication algebras ⋮ On two types of discrete implications ⋮ Traces and property indicators of fuzzy relations ⋮ Hierarchical structure and applications of fuzzy logical systems ⋮ A triangular-norm-based propositional fuzzy logic ⋮ On distributivity equations of implications and contrapositive symmetry equations of implications ⋮ Characterizations and new subclasses of \(\mathcal{I}\)-filters in residuated lattices ⋮ The construction of left-continuous t-norms: a geometric approach in two dimensions ⋮ Structures of opposition induced by relations. The Boolean and the gradual cases ⋮ Infinitely \(\vee\)-distributive t-norms on complete lattices and pseudo-complements ⋮ A representation of t-norms in interval-valued \(L\)-fuzzy set theory ⋮ A characterization of truth-functions in the nilpotent minimum logic ⋮ Residual implications revisited. Notes on the Smets-Magrez theorem. ⋮ Generalizations to the constructions of t-norms: rotation(-annihilation) construction ⋮ Triangular norms. Position paper II: General constructions and parameterized families ⋮ \((S,N)\)- and \(R\)-implications: A state-of-the-art survey ⋮ On the compositional characterization of complete fuzzy pre-orders ⋮ On the first place antitonicity in QL-implications ⋮ Nonstandard conjunctions and implications in fuzzy logic ⋮ The law of importation for discrete implications ⋮ Continuity of left-continuous triangular norms with strong induced negations and their boundary condition ⋮ Systems of ordinal fuzzy logic with application to preference modelling ⋮ Contrapositive symmetrisation of fuzzy implications -- revisited ⋮ Yager's new class of implications \(J_{f}\) and some classical tautologies ⋮ Unified forms of fully implicational restriction methods for fuzzy reasoning ⋮ A note on implicators based on binary aggregation operators in interval-valued fuzzy set theory ⋮ On cuts of Atanassov's intuitionistic fuzzy sets with respect to fuzzy connectives ⋮ A fuzzy logic for the revised drastic product t-norm. ⋮ Cognitive maps and fuzzy implications ⋮ Fuzzy dissimilarity and distance functions ⋮ Additive decomposition of fuzzy pre-orders ⋮ On the structure of left-continuous t-norms that have a continuous contour line ⋮ The \(\circledast\)-composition of fuzzy implications: closures with respect to properties, powers and families ⋮ Fuzzy dissimilarity and generalization of Valverde's theorem on \(T\)-indistinguishability relations ⋮ Reverse triple I reasoning methods based on the Łukasiewicz implication ⋮ A method to construct fuzzy implications -- rotation construction ⋮ On the \(\alpha(u,v)\)-symmetric implicational method for \(\mathrm{R}\)- and \((\mathrm{S},\mathrm{N})\)-implications ⋮ Atanassov's intuitionistic fuzzy submodules with respect to a t-norm. ⋮ Some properties of fuzzy reasoning in propositional fuzzy logic systems ⋮ Aggregation functions: construction methods, conjunctive, disjunctive and mixed classes ⋮ On good EQ-algebras ⋮ On the Ferrers property of valued interval orders ⋮ On complete fuzzy preorders and their characterizations ⋮ Aggregation functions and contradictory information

Cites Work

This page was built for publication: Contrapositive symmetry of fuzzy implications