Ordered Monoids: Languages and Relations
Logic
2017-04-06 v1
Abstract
We give a finite axiomatization for the variety generated by relational, integral ordered monoids. As a corollary we get a finite axiomatization for the language interpretation as well.
Keywords
Cite
@article{arxiv.1704.01391,
title = {Ordered Monoids: Languages and Relations},
author = {Szabolcs Mikulas},
journal= {arXiv preprint arXiv:1704.01391},
year = {2017}
}