Triangular norms on bounded trellises (2212.02655v2)

Abstract: In this paper, we introduce the notion of a t-norm on bounded pseudo-ordered sets and in particular on bounded trellises (also known as weakly associative lattices), and provide some basic examples. The impact of abandoning transitivity is considerable: on a proper bounded trellis, the meet operation is not a t-norm, and there might actually exist no or even multiple maximal t-norms. We provide a first generic construction method that allows to extend a t-norm on an interior range of a given $\meet$-semi-trellis to the entire $\meet$-semi-trellis. Also, we discuss at length an instantiation of this method based on a particular interior range, namely a finite sub-trellis of the set of right-transitive elements of a given trellis. We pay specific attention to bounded pseudo-chains and modular trellises.