A partial calculus for Dag Prawitz's theory of grounds and a decidability issue
Résumé
We consider Dag Prawitz's theory of grounds and suggest a formal apparatus for it. On its basis we show that the account faces a decidability issue similar to one that is often associated with BHK semantics, and propose different readings of the issue that involve different consequences.