论文标题
残留半群的有限模型特性
Finite Model Properties for Residuated Semigroups
论文作者
论文摘要
我们可以快速查看残留的半群的各种有限模型属性。特别是，我们从Hirsch和Hodkinson的游戏中解决了第19.17个问题。
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.
