Various challenges for lifting semi-fuzzy quantifier models to fully fuzzy ones are discussed. The aim is to embed such models into Lukasiewicz 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.
展开▼