Analogical proportions II
Résumé
The purpose of this paper is to further develop the theory of analogical proportions within a recently introduced algebro-logical framework. Specifically, we show that analogical proportions are compatible with homomorphisms and related to semantic anti-unification; we initiate the study of fragments consisting of justifications of a restricted form; and we show how analogical proportions can be computed in finite algebras using tree automata.
Origine | Fichiers produits par l'(les) auteur(s) |
---|