# Logic-based similarity

arXiv: https://arxiv.org/abs/2305.00065 · HTML: https://mlsanity.com/paper/2305.00065/

## 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 (most cited first, 4 of 4)

- [Analogical proportions](https://mlsanity.com/paper/2006.02854/) (2020)
- [Proportoids](https://mlsanity.com/paper/2210.01751/) (2022)
- [Inapproximability of Unique Games in Fixed-Point Logic with Counting](https://mlsanity.com/paper/2104.04566/) (2021)
- [Generalization-baed similarity](https://mlsanity.com/paper/2302.10096/) (2023)

## 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.