Abstract
This paper contributes to the theory of hybrid substructural logics, i.e. weak logics given by a Gentzen-style proof theory in which there is only a limited possibility to use structural rules.
Following the literature, we use an operator to mark formulas to which the extra structural rules may be applied.
... read more