Coimplications derived from pseudo-uninorms on a complete lattice

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.