Relevant entailment and logical ground

According to an intuitive picture of relevant entailment, an entailment is relevant if all the formulas it contains contribute to its validity. In this paper, we provide a ground-theoretic analysis of this notion of contribution, and as a result of relevant entailment. We build a system of bilateral logical grounding within which we can derive classical entailment and analyze the contribution of premises and conclusions, in terms of a certain type of connection between their respective logical grounds. The resulting framework is shown to have a strong unifying and explanatory power by bringing together the notions of grounding and relevance and explaining the commonalities and differences between alternative contribution-based accounts of relevance.