In this paper, we further investigate the constructions of fuzzy connectives on a complete lattice. We firstly illustrate the concepts of strict left (right)-conjunctive left (right) semi-uninorms by means of some examples. Then we give out the formulas for calculating the upper and lower approximation strict left (right)-conjunctive left (right) semi-uninorms of a binary operation.

A complete review of the known differentiators and their time-discretizations have been addressed in this study. To resolve drawbacks explicit (forward Euler) discretization, which is commonly utilized sliding-mode-based differentiators, implicit time discretization methods are proposed to handle set-valued functions. The schemes supported by some analytical results show crucial properties, for...

A category is adhesive if it has all pullbacks, all pushouts along monomorphisms, and all exactness conditions between pullbacks and pushouts along monomorphisms which hold in a topos. This condition can be modified by considering only pushouts along regular monomorphisms, or by asking only for the exactness conditions which hold in a quasitopos. We prove four characterization theorems dealing ...