Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

A proof-based framework for several types of grounding

Abstract : By 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.
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02498116
Contributor : Francesca Poggiolesi <>
Submitted on : Wednesday, March 4, 2020 - 10:37:27 AM
Last modification on : Monday, March 23, 2020 - 11:55:48 AM

File

HAL-version.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02498116, version 1

Citation

Francesca Poggiolesi. A proof-based framework for several types of grounding. 2020. ⟨hal-02498116⟩

Share

Metrics

Record views

38

Files downloads

40