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. (C) 2017 Elsevier Inc. All rights reserved.