Logic-based similarity
Not on the map. Why?
Abstract (arXiv)
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.
Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 4 of its 18 references that are in the map. First posted on arXiv 8 Mar 2023.
Builds on
4 of 18 references.
References · 4
- 2020Analogical proportionscited by 13
- 2022Proportoidscited by 4
- 2021Inapproximability of Unique Games in Fixed-Point Logic with Countingcited by 2
- 2023Generalization-baed similaritycited by 2
Built on by
Not cited yet.