Abstract
Coimplications are one of the important connectives used in fuzzy logic and fuzzy inference because they are a generalization of binary coimplications existing in classical logic. In this work, we further study two classes of coimplications derived from pseudo-uninorms on a complete lattice. Firstly, we present some characterizations of (U,N)-coimplications derived from a pseudo-uninorm and a strong negation. Then, we investigate residual coimplications and (U,N)-coimplications jointly rather than separately.
•Characterize (U,N)-coimplication derived from pseudo-uninorms and negations.•Investigate residual coimplications and (U,N)-coimplications jointly rather than separately.•Two sequences of coimplications and disjunctions are introduced and then the closure of them are discussed.