Elementary operations; Galois connection; Galois theory; Partial clones; Relation algebras; Many valued logics; Number theory
Résumé :
[en] A Galois connection between partial clones and a new variant of relation algebras is established. We introduce a new elementary operation on relations which captures the difference between total and partial clones and allows us to adapt the proof of the Galois connection from the total case to the partial case. This Galois connection is able to capture all partial clones and is not restricted to strong partial clones as in previous work.
Disciplines :
Mathématiques
Auteur, co-auteur :
SCHÖLZEL, Karsten ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Mathematics Research Unit
Langue du document :
Anglais
Titre :
Galois theory for partial clones and some relational clones
Date de publication/diffusion :
2011
Nom de la manifestation :
41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011
Date de la manifestation :
23 May 2011 through 25 May 2011
Manifestation à portée :
International
Titre du périodique :
Proceedings - 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011
