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.
    • Correction
    • Source
    • Cite
    • Save
    • Machine Reading By IdeaReader
    18
    References
    7
    Citations
    NaN
    KQI
    []