Reasoning about mathematical fuzzy logic and its future (Q419039)

The author surveys developments in formalized fuzzy logic. On the one hand he discusses the basic mathematical fuzzy logics like BL and MTL, as well as some of their schematic extensions. On the other hand he gives a more extended discussion of fuzzy logics with graded notions of consequence, particularly his own favorites: the fuzzy logic with evaluated syntax and the fuzzy type theory. These latter approaches are presented together with their main applications toward approximate reasoning, as well as natural language modeling and common-sense reasoning, particularly generalized quantifiers and their syllogistic inference rules.