Composition as a fuzzy conjunction between indexes of inclusion

Abstract

We analyze the use of the composition of mappings as a fuzzy conjunction between indexes of inclusion. Instead of the general approach of the φ-index of inclusion, we consider a fresh approach that computes the φ-index of inclusion when restricted to a join-subsemilattice of indexes of inclusion. Under this restriction, we identify a certain join-subsemilattice which has a biresiduated structure when composition is interpreted as conjunction. The main consequence of this biresiduated structure is a representation theorem of biresiduated lattices on the unit interval in terms of the composition and subsets of indexes of inclusion.