A logic for fuzzy data analysis