Paper ID: 2305.00065

Logic-based similarity

Christian Antić

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.

Submitted: Mar 8, 2023