Analogical proportions in monounary algebras
Christian Antić · Annals of Mathematics and Artificial Intelligence · 2024
Abstract This paper studies analogical proportions in monounary algebras consisting only of a universe and a single unary function, where we analyze the role of congruences, and we show that the analogical proportion relation is characterized in the infinite monounary algebra formed by the natural numbers together with the successor function via difference proportions.