Finite Model Properties for Residuated Semigroups

2022/11/21 by Mikulás, Szabolcs
#03G25 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)

paper · doi:10.48550/arxiv.2211.11685

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.

Related

• The finite representation property for some reducts of relation algebras
• Balanced residuated partially ordered semigroups
• Finite Decomposition Semigroups
• Master List of Examples in Complexity Theory of Finite Semigroup Theory
• The Automorphism Group of a Resplendent Model