The following pages link to (Q3584007):
Displaying 8 items.
- Dialogue games for many-valued logics -- an overview (Q1005947) (← links)
- Giles's game and the proof theory of Łukasiewicz logic (Q1037588) (← links)
- From games to truth functions: a generalization of Giles's game (Q2016084) (← links)
- Dialogue games for Dishkant's quantum modal logic (Q2856074) (← links)
- Bridges Between Contextual Linguistic Models of Vagueness and T-Norm Based Fuzzy Logic (Q2948585) (← links)
- (Q3075443) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5187859) (← links)
- Dialogue Game Tree with Nondeterministic Additive Consolidation (Q5301999) (← links)