Logical approaches to fuzzy similarity-based reasoning: an overview