scientific article; zbMATH DE number 1775544

From MaRDI portal
Publication:4544376





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.











This page was built for publication:

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