This paper investigates the logic of grounding, a non-causal explanatory relation. While the study of this field is flourishing, it is still in its early stages. This paper contributes to the literature by presenting \(\mathcal {G}_{\textbf{LWG}}\) , a novel sequent calculus for weak full grounding. While it provides a sequent-style presentation of the existing axiomatic system \(\textbf{LWG}\) proposed by Adam Lovett, our calculus is balanced and avoids the ad-hoc rules contained in \(\textbf{LWG}\) . An important fact shown in this paper is that if a sequent \(\Gamma \Rightarrow \Delta \) is derivable in \(\mathcal {G}_{\textbf{LWG}}\) , then any variable occurring positively (or negatively) in \(\Gamma \) also occurs positively (or negatively) in \(\Delta \) . This highlights a deep connection between grounding and variable inclusion. This property, in particular, suggests a similarity to Rohan French’s sequent calculus for analytic containment, \(\mathcal {G}_{\textbf{AC}}\) . Indeed, we demonstrate that \(\mathcal {G}_{\textbf{LWG}}\) is the negation dual of \(\mathcal {G}_{\textbf{AC}}\) . The paper concludes by proving the equivalence between \(\mathcal {G}_{\textbf{LWG}}\) and \(\textbf{LWG}\) .
