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

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, The approximation of left-continuous t-norms, Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems, A triangular norm-based fuzzy predicate logic, On equivalent forms of fuzzy logic systems NM and IMTL, Pseudo-t-norms and implication operators: Direct products and direct product decompositions, Cartesian closedness of a category of non-frame valued complete fuzzy orders, Triangular norms. Position paper I: Basic analytical and algebraic properties., How to construct left-continuous triangular norms -- state of the art., Graded many-valued resolution with aggregation., On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras, New family of triangular norms via contrapositive symmetrization of residuated implications, Aggregating fuzzy implications, Triple I method based on pointwise sustaining degrees, Implications in bounded systems, New types of contrapositivisation of fuzzy implications with respect to fuzzy negations, Deresiduums of implications on a complete lattice, A review of the relationships between implication, negation and aggregation functions from the point of view of material implication, Properties of the probabilistic implications and S-implications, Characterizations of residual coimplications of pseudo-uninorms on a complete lattice, Modus ponens and modus tollens in discrete implications, A non-commutative and non-idempotent theory of quantale sets, Conic aggregation functions, The law of importation versus the exchange principle on fuzzy implications, Threshold generation method of construction of a new implication from two given ones, Structure of left-continuous triangular norms with strong induced negations. III: Construction and decomposition, A characterization of (U,N), RU, QL and D-implications derived from uninorms satisfying the law of importation, On dependencies and independencies of fuzzy implication axioms, On a new class of fuzzy implications: \(h\)-implications and generalizations, NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL, A fuzzy logic for an ordinal sum t-norm, Nuclei and conuclei on residuated lattices, Differently implicational universal triple I method of \((1, 2, 2)\) type, On fuzzy implications determined by aggregation operators, On the characterization of Yager's implications, On interval \((\mathbb{G}, \mathbb{N})\)-implications and \((\mathbb{O}, \mathbb{G}, \mathbb{N})\)-implications derived from interval overlap and grouping functions, Continuous R-implications generated from representable aggregation functions, A survey on fuzzy relational equations. I: Classification and solvability, Regular left-continuous t-norms, Cancellativity properties for t-norms and t-subnorms, On the representation of fuzzy rules in terms of crisp rules, Associatively tied implications., A more efficient method for defining fuzzy connectives, Relational compositions in fuzzy class theory, Duality vs. adjunction for fuzzy mathematical morphology and general form of fuzzy erosions and dilations, Generalized qualitative Sugeno integrals, Aggregation of diverse types of fuzzy orders for decision making problems, Convergence of residuated operators and connective stability of non-classical logics, On the continuity of residuals of triangular norms, Composite fuzzy relational equations with non-commutative conjunctions, Fibred triangular norms, On reversible triangular norms, A note on the ordinal sum theorem and its consequence for the construction of triangular norms, Indicator of inclusion grade for interval-valued fuzzy sets. Application to approximate reasoning based on interval-valued fuzzy sets, Generating pseudo-t-norms and implication operators, \(R _{0}\) implication: Characteristics and applications, On the order of triangular norms -- comments on ``A triangular norm hierarchy by E. Cretu, Observations on the monoidal t-norm logic, Pseudo-t-norms and implication operators on a complete Brouwerian lattice, Automorphisms, negations and implication operators, A 16-classification partition of formula set \(F(S)\) in revised Kleene system \(\overline W\)

Cites Work