“…Recall that an unary operator c : L → L is called negation if it is an order reversing involution, that is a ≤ b =⇒ b c ≤ a c and (a c ) c = a for all a, b ∈ L. A lattice L endowed with a negation that is the tuple (L, ≤, ∧, ∨, c ) is called a De Morgan algebra; respectively, the tuple (L, ≤, ∧, ∨, * , c ) will be referred to as a De Morgan quantale. In a De Morgan quantale a further binary operation, co-product ⊕, can be defined by setting a ⊕ b = (a c * b c ) c for all a, b ∈ L. Co-product is a commutative associative monotone operation and, in case (L, ≤, ∧, ∨, * ) is integral, 0 L acts as a zero, that is a ⊕ 0 L = a for every a ∈ L. Important properties of De Morgan quantales are collected in the next lemmas: [15] If operation * in a De Morgan quantale (L, ≤, ∧, ∨, * ) i is meet-distributive, then the corresponding operation ⊕ distributes over arbitrary joins:…”