A proof-based framework for several types of grounding

International audienceBy adopting a proof-theoretic perspective on grounding, we provide a general framework where several notions of grounding, such as complete and mediate, partial and immediate and partial mediate, are defined and compared with the more widespread notions of full and partial grounding. As a result, we get a cartography of the recent work on grounding as well as the observation of important and interesting features of this notion