First-Order Concatenation Theory with Bounded Quantifiers
Logic
2020-03-12 v1
Abstract
We study first-order concatenation theory with bounded quantifiers. We give axiomatizations with interesting properties, and we prove some normal-form results. Finally, we prove a number of decidability and undecidability results.
Cite
@article{arxiv.2003.04964,
title = {First-Order Concatenation Theory with Bounded Quantifiers},
author = {Lars Kristiansen and Juvenal Murwanashyaka},
journal= {arXiv preprint arXiv:2003.04964},
year = {2020}
}
Comments
arXiv admin note: text overlap with arXiv:1804.06367