Logic-based analogical proportions
Logic in Computer Science
2025-12-23 v2 Discrete Mathematics
Logic
Abstract
The author has recently introduced an abstract algebraic framework of analogical proportions within the general setting of universal algebra. The purpose of this paper is to lift that framework from universal algebra to the strictly more expressive setting of full first-order logic. We show that the so-obtained logic-based framework preserves all desired properties and we prove novel results in that extended setting.
Cite
@article{arxiv.2406.14402,
title = {Logic-based analogical proportions},
author = {Christian Antić},
journal= {arXiv preprint arXiv:2406.14402},
year = {2025}
}