A conjunction T ties an implication operator A if the identity A(a,A(b, z)) = A(T (a, b), z) holds [A.A. Abdel-Hamid, N.N. Morsi, Associatively tied implications, Fuzzy Sets and Systems 136 (2003) 291–311]. We study the class of tied adjointness algebras (which are five-connective algebras on two partially ordered sets), in which the implications are tied by triangular norms. This class contain...
