Analogical proportions in monounary algebras
Abstract
This paper studies analogical proportions in monounary algebras consisting only of a universe and a single unary function. 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.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2022
- DOI:
- arXiv:
- arXiv:2208.06829
- Bibcode:
- 2022arXiv220806829A
- Keywords:
-
- Computer Science - Artificial Intelligence;
- Computer Science - Discrete Mathematics;
- Computer Science - Logic in Computer Science