 \(\textrm{T}_1\) is a component of Wittgenstein’s logical atomism in Wittgenstein TLP. It also appears in Cresswell 1972. Suszko 1968 has something very close to \(\textrm{T}_4\) (cf. the supplementary document  Some Formal Theories in the Literature).