 The above correspondence can be modified for other implicational logics and combinatory bases. The next theorem lists correspondences that obtain between the implicational fragments of the relevance logics \(R\) and \(T\) and some combinatory bases that are of interest in themselves.