The following pages link to (Q4159032):
Displayed 7 items.
- Dialogue games for many-valued logics -- an overview (Q1005947) (← links)
- From games to truth functions: a generalization of Giles's game (Q2016084) (← links)
- Extending resolution to resolution logics (Q3211281) (← links)
- On Semantic Games for Łukasiewicz Logic (Q3299579) (← links)
- Four-Valued Logics BD and DM4: Expansions (Q4608553) (← links)
- The Infinite-Valued Łukasiewicz Logic and Probability (Q4608554) (← links)
- Łukasiewicz and His Followers in Many-Valued Logic (Q4611677) (← links)