I will present and analyze generalized syllogisms with intermediate
quantifiers in Lukasiewicz fuzzy type theory. Intermediate
quantifiers are expressions of the natural language ''Most'',
''Many'', ''Few''... In the first part of my talk I will introduce
the formal definition of intermediate generalized quantifier and
also all the basic generalized syllogisms with intermediate
quantifiers will be presented. The main goal of this talk will be
present and analyze new non-trivial generalized syllogisms in
higher order fuzzy logic.