Logic-based similarity