Pages that link to "Item:Q2016084"
From MaRDI portal
The following pages link to From games to truth functions: a generalization of Giles's game (Q2016084):
Displaying 6 items.
- Dialogue games for many-valued logics -- an overview (Q1005947) (← links)
- Giles's game and the proof theory of Łukasiewicz logic (Q1037588) (← links)
- Fuzzy sets and formal logics (Q2014418) (← links)
- Dialogue games for Dishkant's quantum modal logic (Q2856074) (← links)
- On Semantic Games for Łukasiewicz Logic (Q3299579) (← links)
- (Q4903797) (← links)