Grounding from a Syntactic Point of View: A Sentential-Logical Approach

We define the term $$\ulcorner $$a set T of sentential-logical formulae grounds a sentential-logical formula A from a syntactic point of view$$\urcorner $$ in such a way that A is a syntactic sentential-logical consequence of T, and specific additional syntactic requirements regarding T and A are fulfilled. These additional requirements are developed strictly within the syntactics of sentential-logical languages, the three most important being new, namely: to be atomically minimal, to be minimal in degree, and not to be conjunction-like. Our approach is independent of any specific sentential-logical calculus.