The aim of this article is to discuss the extent to which certain substructural logics are related through the phenomenon of duality. Roughly speaking, metainferences are inferences between collections of inferences, and thus substructural logics can be regarded as those logics which have fewer valid metainferences that Classical Logic. In order to investigate duality in substructural logics, we will focus on the case study of the logics ST and TS, the former lacking Cut, the latter Reflexivity. The sense in which these logics, and these metainferences, are dual has yet to be explained in the context of a thorough and detailed exposition of duality for frameworks of this sort. Thus, our intent here is to try to elucidate whether or not this way of talking holds some ground-specially generalizing one notion of duality available in the specialized literature, the so-called notion of negation duality. In doing so, we hope to hint at broader points that might need to be addressed when studying duality in relation to substructural logics.

The aim of this article is to study the notion of derivability and its semantic counterpart in the context of non-transitive and non-reflexive substructural logics. For this purpose we focus on the study cases of the logics ST and TS. In this respect, we show that this notion doesn't coincide, in general, with a nowadays broadly used semantic approach towards metainferential validity: the notion of local validity. Following this, and building on some previous work by Humberstone, we prove that in these systems derivability can be characterized in terms of a notion we call absolute global validity. However, arriving at these results doesn't lead us to disregard local validity. First, because we discuss the conditions under which local, and also global validity, can be expected to coincide with derivability. Secondly, because we show how taking into account certain families of valuations can be useful to describe derivability for different calculi used to present ST and TS.