Characterizations for convolution lattices based on non-distributive lattices

Abstract

Recently, De Miguel, Bustince and De Baets have conducted a systematic study on convolution lattices based on distributive lattices. There have been few reports on applying non-distributive lattices to a domain of functions. As a complement to their work, in this paper, we carry out an in-depth investigation of convolution operations of the functions between a non-distributive lattice (domain) and a frame (co-domain). We first present an equivalence characterization between non-distributive lattices and idempotent functions and further show that a subset of the set of idempotent functions is closed under convolution operations. We demonstrate that this subset also is a bisemilattice and satisfies the Birkhoff equation under join- and meet-convolution operations. Finally, we analyze and study the lattice structure related to the obtained algebraic structure.