The following pages link to Between proof and truth (Q383057):
Displaying 5 items.
- Verificationism and Classical Realizability (Q3305313) (← links)
- Game Theoretical Semantics for Paraconsistent Logics (Q3457682) (← links)
- Games for Truth (Q3655267) (← links)
- Game theoretical semantics for some non-classical logics (Q4586163) (← links)
- From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic (Q6485329) (← links)