Finite Model Properties for Residuated Semigroups

11/21/2022

∙

by   Szabolcs Mikulas, et al.

∙

0

∙

share

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.