Various challenges for lifting semi-fuzzy quantifier models to fully fuzzy ones are discussed. The aim is to embed such models into Łukasiewicz logic in a systematic manner. Corresponding extensions of Giles’ game with random choices of constants as well as precisifications of fuzzy models are introduced for this purpose.
Work supported by the Austrian Science Fund (FWF) project FWF I1897-N25.