The following pages link to (Q4247022):
Displayed 6 items.
- From the knowability paradox to the existence of proofs (Q625705) (← links)
- On reduction rules, meaning-as-use, and proof-theoretic semantics (Q1005958) (← links)
- Anti-realist truth and truth-recognition (Q2339005) (← links)
- Truth from a proof-theoretic perspective (Q2339006) (← links)
- Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective (Q3305632) (← links)
- A new framework for justification logic (Q4586147) (← links)