Graded properties of unary and binary fuzzy connectives

From Mathfuzzlog
Jump to: navigation, search
Authors:
Libor Běhounek
Title: Graded properties of unary and binary fuzzy connectives
Journal: Fuzzy Sets and Systems
Volume 202
Number 1
Pages: 1–41
Year: 20012
Download from the publisher
Preprint

Abstract

The paper studies basic graded properties of unary and binary fuzzy connectives, i.e., unary and binary operations on the set of truth degrees of a background fuzzy logic extending the logic MTL of left-continuous t-norms. The properties studied in this paper are graded generalizations of monotony, Lipschitz continuity, null and unit elements, idempotence, commutativity, and associativity. The paper elaborates the initial study presented in previous papers and focuses mainly on parameterization of graded properties by conjunction-multiplicities of subformulae in the defining formulae, preservation of graded properties under compositions and slight variations of fuzzy connectives, the values of graded properties for basic connectives of the ground logic, and the dependence of the values on the ground logic. The results are proved in the formal framework of higher-order fuzzy logic MTL, also known as Fuzzy Class Theory (FCT). General theorems provable in FCT are illustrated on several semantic examples.