The following pages link to (Q3620026):
Displayed 6 items.
- The Rényi-Ulam games and many-valued logics (Q679806) (← links)
- Giles's game and the proof theory of Łukasiewicz logic (Q1037588) (← links)
- Lottery semantics: a compositional semantics for probabilistic first-order logic with imperfect information (Q1956374) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- On Semantic Games for Łukasiewicz Logic (Q3299579) (← links)
- On Semantic Gamification (Q5224500) (← links)