The following pages link to Truth and Proof in Intuitionism (Q5253923):
Displaying 16 items.
- Intuitionistic truth (Q1062982) (← links)
- Intersubstitutivity principles and the generalization function of truth (Q1709089) (← 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)
- Truth as an epistemic notion (Q2339002) (← links)
- Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective (Q3305632) (← links)
- Pragmatic Truth and the Logic of Induction (Q3472076) (← links)
- Prose versus Proof: Wittgenstein on Godel, Tarski and Truth (Q4542721) (← links)
- Does truth equal provability in the maximal theory? (Q4648471) (← links)
- Wright on the Non-mechanizability of Intuitionist Reasoning (Q4859239) (← links)
- (Q4903945) (← links)
- An intuitionistic defence of Berkeley’s master argument (Q5046222) (← links)
- Necessity of Thought (Q5213607) (← links)
- Program Testing and the Meaning Explanations of Intuitionistic Type Theory (Q5253930) (← links)
- Negative predication and distinctness (Q6043099) (← links)
- Counterfactual assumptions and counterfactual implications (Q6612878) (← links)