Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras

Brijesh Dongol, Ian J. Hayes, Georg Struth

Convolution is a ubiquitous operation in mathematics and computing. The Kripke semantics for substructural and interval logics motivates its study for quantale-valued functions rel…