Finite Model Properties for Residuated Semigroups
Logic
2022-11-22 v1 Logic in Computer Science
Abstract
We have a quick look at various finite model properties for residuated semigroups. In particular, we solve Problem 19.17 from Relation Algebras by Games by Hirsch and Hodkinson.
Cite
@article{arxiv.2211.11685,
title = {Finite Model Properties for Residuated Semigroups},
author = {Szabolcs Mikulás},
journal= {arXiv preprint arXiv:2211.11685},
year = {2022}
}