Randomized Game Semantics for Semi-fuzzy Quantifiers
2012
We first show that randomized payoff in classical evaluation games leads to so-called weak Łukasiewicz logic. A further step of generalization results in Giles’s game semantics for full Łukasiewicz logic. Finally we extend the concept of randomization to characterize a family of semi-fuzzy quantifiers embedded into Łukasiewicz logic.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
18
References
7
Citations
NaN
KQI