Logic-based similarity
arXiv:2305.00065
Abstract
This paper develops a {\em qualitative} and logic-based notion of similarity from the ground up using only elementary concepts of first-order logic centered around the fundamental model-theoretic notion of type.
arXiv admin note: substantial text overlap with arXiv:2302.10096