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.

根据相关蕴涵的直观描述，如果一个蕴涵包含的所有公式都有助于其有效性，那么它就是相关的。在本文中，我们对这种贡献概念以及相关蕴涵的结果进行了基础理论分析。我们建立了一个双边逻辑基础系统，在这个系统中我们可以推导出经典蕴涵，并根据前提和结论各自逻辑基础之间某种类型的联系来分析它们的贡献。由此产生的框架通过将基础和相关性的概念结合在一起并解释基于贡献的相关性替代账户之间的共性和差异，被证明具有强大的统一性和解释力。