\(T\)-subnorms with strong associated negation: some properties (Q2398069)

A t-subnorm is a binary function \(M:[0,1]^2 \to [0,1]\) which is monotonic non-decreasing, associative, commutative and \(M(x, y) \leq \min(x, y)\) for all \(x, y \in [0, 1]\). The main goal of this article is to investigate t-subnorms that have a strong associated negation. The author shows the inter-relationships between different algebraic and analytic properties of such t-subnorms, like Archimedeanness, conditional cancellativity, left-continuity, nilpotent elements, etc. In particular, he shows that under this setting many of these properties are equivalent. A summary of the obtained results is presented in a diagram. Several methods coming from functional equations are applied and two open problems are stated.