Pages that link to "Item:Q1037588"
From MaRDI portal
The following pages link to Giles's game and the proof theory of Łukasiewicz logic (Q1037588):
Displaying 15 items.
- Dialogue games for many-valued logics -- an overview (Q1005947) (← links)
- Fuzzy sets and formal logics (Q2014418) (← links)
- From games to truth functions: a generalization of Giles's game (Q2016084) (← links)
- Randomized semantic games for fuzzy logics (Q2035339) (← links)
- From semantic games to provability: the case of Gödel logic (Q2118973) (← links)
- Games for hybrid logic. From semantic games to analytic calculi (Q2148784) (← links)
- Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD (Q2148809) (← links)
- From truth degree comparison games to sequents-of-relations calculi for Gödel logic (Q2169133) (← 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)
- On Semantic Games for Łukasiewicz Logic (Q3299579) (← links)
- Connecting Sequent Calculi with Lorenzen-Style Dialogue Games (Q5024728) (← links)
- A Calculus for Rational Łukasiewicz Logic and Related Systems (Q5117205) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5187858) (← links)
- From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic (Q6485329) (← links)