Pages that link to "Item:Q2288275"
From MaRDI portal
The following pages link to Dag Prawitz on proofs, operations and grounding (Q2288275):
Displayed 4 items.
- Game of grounds (Q2080589) (← links)
- Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds (Q2118969) (← links)
- Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics (Q2121478) (← links)
- Calculi of epistemic grounding based on Prawitz's theory of grounds (Q2144191) (← links)