Operations fitting triangular-norm-based biresiduation

DOI10.1016/S0165-0114(98)00260-7MaRDI QIDQ1304216zbMATH OpenOpenAlexFDO

Authors Radko Mesiar, Vilém Novák

Publication date 16 November 1999

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

Full work available at URL https://doi.org/10.1016/s0165-0114(98)00260-7

zbMATH Keywords

fuzzy equivalencefuzzy logict-norms

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Review text

In classical (2-valued) logic, the truth value of each logical operation \noindent \(f(a_1,\ldots,a_n)\) does not change if we replace each value \(a_i\) with the equivalent value \(b_i\). In formal terms, in classical logic, we have \(((a_1\Leftrightarrow b_1)\&\ldots\& (a_n\Leftrightarrow b_n))\Rightarrow (f(a_1,\ldots,a_n)\Leftrightarrow f(b_1,\ldots,b_n))\). For fuzzy equivalence \(\Leftrightarrow\), this is not always true, because if \(a_1\) is ``almost equivalent to \(b_1\), etc., then these differences accumulate, and the resulting difference between \(f(a_1,\ldots,a_n)\) and \(f(b_1,\ldots,b_n)\) may become too large. In many cases, however, this implication becomes true if in the conjunction \((a_1\Leftrightarrow b_1)\&\ldots\), we repeat each term \(a_i\Leftrightarrow b_i\) several (\(k_i\)) times. An operation \(f\) for which this property is true for some values \(k_i\) is called fitting. In the paper under review, the authors describe which operations are fitting under different fuzzy equivalences. One of the most natural ways to define a fuzzy equivalence \(a\Leftrightarrow b\) is to define it via fuzzy implication, as \(\min(a\Rightarrow b,b\Rightarrow a)\), where, for a given t-norm \(\&\), \(a\Rightarrow b\) can be naturally defined as \(\sup\{z |x\& z\leq y\}\). This natural implication operation is called a residuation, and the resulting equivalent operation is called biresiduation. For several most widely used t-norms, the authors describe all unary and binary operations which are fitting w.r.t. corresponding biresiduations.

Recommendations

• FUZZY LOGICAL OPERATORS ON FINITE CHAINS
• Conjunctors and their residual implicators: characterizations and construction methods
• On some subclasses of the Fodor-Roubens fuzzy bi-implication
• Fuzzy sets and t-norms in the light of fuzzy logic

Cites work

• scientific article; zbMATH DE number 420884 (Why is no real title available?)
• scientific article; zbMATH DE number 3870293 (Why is no real title available?)
• scientific article; zbMATH DE number 41101 (Why is no real title available?)
• scientific article; zbMATH DE number 764336 (Why is no real title available?)
• On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
• PARADIGM, FORMAL PROPERTIES AND LIMITS OF FUZZY LOGIC
• Triangular norms

Cited in

(10)

• Maximal fuzzy maps
• Antonyms and linguistic quantifiers in fuzzy logic
• A graded notion of functionality
• Pseudo-t-norms and implication operators on a complete Brouwerian lattice
• Asymmetric equivalences in fuzzy logic
• \(E_T\)-Lipschitzian and \(E_T\)-Kernel aggregation operators
• Fuzzy transform as an additive normal form
• Generalized extensionality of fuzzy relations
• Approximation of extensional fuzzy relations over a residuated lattice
• Lipschitzian De Morgan triplets of fuzzy connectives

This page was built for publication: Operations fitting triangular-norm-based biresiduation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1304216)