Randomized game semantics for semi-fuzzy quantifiers

C. G. Fermuller, C. Roschger
2013 Logic Journal of the IGPL  
Building on a generalization of classical Henkin-Hintikka evaluation games to Giles' game semantics for Lukasiewicz logic, a concept for evaluating (semi-)fuzzy quantifiers by randomizing the choice of witnessing elements is developed. In particular the adequateness of simple dialogue game rules for so-called proportionality quantifiers is shown.
doi:10.1093/jigpal/jzt049 fatcat:fg5pg46w5fg67okaav2lx7xkxy