Repository | Journal | Volume | Articles
(2018) Synthese 195 (3).
On constructing a logic for the notion of complete and immediate formal grounding
Francesca Poggiolesi
pp. 1231-1254
In Poggiolesi (2016b) we have introduced a rigorous definition of the notion of complete and immediate formal grounding; in the present paper our aim is to construct a logic for the notion of complete and immediate formal grounding based on that definition. Our logic will have the form of a calculus of natural deduction, will be proved to be sound and complete and will allow us to have fine-grained grounding principles.
Publication details
DOI: 10.1007/s11229-016-1265-z
Full citation:
Poggiolesi, F. (2018). On constructing a logic for the notion of complete and immediate formal grounding. Synthese 195 (3), pp. 1231-1254.
This document is unfortunately not available for download at the moment.