Logic-based similarity

03/08/2023

∙

by   Christian Antic, et al.

∙

0

∙

share

This paper develops a 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.