Finite Model Properties for Residuated Semigroups
Szabolcs Mikul\'as
TL;DR
This paper explores finite model properties of residuated semigroups and successfully addresses a specific open problem from the literature on relation algebras.
Contribution
It provides new insights into finite model properties and solves Problem 19.17 from Hirsch and Hodkinson's work on relation algebras.
Findings
Resolved an open problem in finite model properties
Enhanced understanding of residuated semigroups
Contributed to the theory of relation algebras
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsGame Theory and Voting Systems · Complexity and Algorithms in Graphs · semigroups and automata theory