The following pages link to Truth and Proof in Intuitionism (Q5253923):
Displayed 7 items.
- 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)
- Truth as an epistemic notion (Q2339002) (← links)
- Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective (Q3305632) (← links)
- Necessity of Thought (Q5213607) (← links)
- Program Testing and the Meaning Explanations of Intuitionistic Type Theory (Q5253930) (← links)
- Negative predication and distinctness (Q6043099) (← links)