Characterizations of residual coimplications of pseudo-uninorms on a complete lattice

Pseudo-uninorms are a generalization of uninorms by removing the commutativity from the axioms of the uninorms. In this paper, we further study coimplications generated from pseudo-uninorms on a complete lattice. Firstly, we further discuss the properties of residual coimplications generated from pseudo-uninorms on a complete lattice. Then, we recall the induced operators by coimplications on a complete lattice and give conditions such that they are pseudo-uninorms. Finally, we give out some characterizations of the residual coimplications generated from (right) infinitely ∧-distributive disjunctive pseudo-uninorms on a complete lattice.