Domain and range for angelic and demonic compositions
Logic in Computer Science
2022-06-23 v1 Logic
Abstract
We give finite axiomatizations for the varieties generated by representable domain--range algebras when the semigroup operation is interpreted as angelic or demonic composition, respectively.
Cite
@article{arxiv.1811.01712,
title = {Domain and range for angelic and demonic compositions},
author = {Marcel Jackson and Szabolcs Mikulas},
journal= {arXiv preprint arXiv:1811.01712},
year = {2022}
}