Communication Dans Un Congrès Année : 2021

Graph characterization of the universal theory of relations

Résumé

The equational theory of relations can be characterized using graphs and homomorphisms. This result, found independently by Freyd and Scedrov and by Andréka and Bredikhin, shows that the equational theory of relations is decidable. In this paper, We extend this characterization to the whole universal first-order theory of relations. Using our characterization, we show that the positive universal fragment is also decidable.

Fichier principal
Vignette du fichier
0-main.pdf (620.02 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-03226221 , version 1 (14-05-2021)

Licence

Identifiants

Citer

Amina Doumane. Graph characterization of the universal theory of relations. Mathematical foundations of computer science, Aug 2021, Tallin, Estonia. ⟨10.4230/LIPIcs.MFCS.2021.11⟩. ⟨hal-03226221⟩
185 Consultations
482 Téléchargements

Altmetric

Partager

  • More