Answers are grounded in this paper and cite their sources.
This paper evaluates the proof-theoretic definition of ground developed by Poggiolesi in a range of recent publications and argues that her proposed definition fails. The paper then outlines an alternative approach where logical consequence relations and the logical operations are defined in terms of ground.
No takes yet. Share an insight, caveat, or question.
Jon Erling Litland (2023) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: