A note on strictly positive logics and word rewriting systems

Lev D. Beklemishev

We establish a natural translation from word rewriting systems to strictly positive polymodal logics. Thereby, the latter can be considered as a generalization of the former. As a…