Analogical proportions II - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2023

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.
Fichier principal
Vignette du fichier
230708-analogical_proportions_II.pdf (172.64 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04246079 , version 1 (17-10-2023)
hal-04246079 , version 2 (21-01-2024)

Identifiants

  • HAL Id : hal-04246079 , version 1

Citer

Christian Antic. Analogical proportions II. 2023. ⟨hal-04246079v1⟩
51 Consultations
28 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More