The following pages link to Proof interpretations with truth (Q3066291):
Displaying 6 items.
- Meaning approached via proofs (Q2500819) (← links)
- A parametrised functional interpretation of Heyting arithmetic (Q2659105) (← links)
- Hybrid functional interpretations of linear and intuitionistic logic (Q2882562) (← links)
- (Q3437622) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Hardwiring truth in functional interpretations (Q6041142) (← links)