  A second area of application is strongly tied with this first one: the automatization of data and knowledge mining. Here clustering methods come into consideration; these refer via unsharp clusters to fuzzy sets and MVL. In this context one is also interested in automated theorem proving techniques for systems of MVL, as well as in methods of logic programming for systems of MVL. Part of this trend is the recent development of generalized description logics, so-called fuzzy description logics, which allow the inclusion of technical tools (truth degrees, connectives, graded predicates) from the field of MVL into – from the point of view of full first-order logics: rudimentary – systems of logic, so-called description logics, see Straccia (2001), Hájek (2005), Stoilos et al. (2008).