|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.