Pages that link to "Item:Q2118973"
From MaRDI portal
The following pages link to From semantic games to provability: the case of Gödel logic (Q2118973):
Displaying 5 items.
- Between proof and truth (Q383057) (← links)
- An \(n\)-player semantic game for an \(n+1\)-valued logic (Q1005944) (← links)
- From truth degree comparison games to sequents-of-relations calculi for Gödel logic (Q2169133) (← links)
- Games for Truth (Q3655267) (← links)
- From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic (Q6485329) (← links)