No label defined (Q4544376)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1775544
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1775544 |
Statements
4 August 2002
0 references
t-norm
0 references
strong negation
0 references
R-implication
0 references
fuzzy logic
0 references
0.8571077585220337
0 references
0.8151928186416626
0 references
0.8125553131103516
0 references
0.811351478099823
0 references
0.810907781124115
0 references
Assuming normality, convexity and upper semicontinuity of fuzzy truth values, a t-norm, a t-conorm, a strong negation and an implication of type \(2\) are defined in an axiomatic way. The expressions of these operations, except for the \(R\)-implication, are obtained implicitly by extending those of the conventional fuzzy logic by means of this extension principle. The \(R\)-implication is derived as the right-residual of a t-norm of type \(2\). The main result: The type \(2\) fuzzy logic forms a complete lattice-ordered monoid besides the case of type \(1\); namely, it is a concrete model of \(L\)-fuzzy logic.
0 references
