Abstract of Paper

Using Transitive-closure Logic for Deciding Linear Properties of Monoids
by Christian Delhomme, Teodor Knapik and D. Gnanaraj Thomas


We use first-order logic with transitive closure operator
FO(TC$^1$) for deciding first-order linear monoid properties.
These are written in the style of linear sentences of Ron V. Book,
but with a less restrictive language. The decidability of such
properties concerns monoids presented by recognizable convergent
suffix semi-Thue systems.