加载中…
2022-11-21
Finite Model Properties for Residuated Semigroups
Szabolcs Mikulás
文献摘要
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.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本