2020
DOI: 10.1007/s00153-020-00735-6
|View full text |Cite
|
Sign up to set email alerts
|

First-order concatenation theory with bounded quantifiers

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.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
2

Citation Types

0
9
0

Year Published

2020
2020
2024
2024

Publication Types

Select...
3
2
1

Relationship

4
2

Authors

Journals

citations
Cited by 8 publications
(10 citation statements)
references
References 21 publications
0
9
0
Order By: Relevance
“…By Q 7 ≡ ∀xy [ x × Sy = x × y + x ] 0 × Su = 0u + 0 = 0 + 0 = 0 where the second equality follows from the assumption that u satisfies (6) and the last equality holds by Q 4 . Thus, Su satisfies (6).…”
Section: Interpretation Of Tc εmentioning
confidence: 97%
See 3 more Smart Citations
“…By Q 7 ≡ ∀xy [ x × Sy = x × y + x ] 0 × Su = 0u + 0 = 0 + 0 = 0 where the second equality follows from the assumption that u satisfies (6) and the last equality holds by Q 4 . Thus, Su satisfies (6).…”
Section: Interpretation Of Tc εmentioning
confidence: 97%
“…(1) 0 + u = u We verify that 0 ∈ N 0 . We need to show that 0 satisfies (1)- (6). By Q 4 ≡ ∀x [ x + 0 = x ], 0 satisfies (1)- (5).…”
Section: Interpretation Of Tc εmentioning
confidence: 99%
See 2 more Smart Citations
“…More on AST and adjunctive set theory can found in Damnjanovic [2]. For recent results related to the work in the present paper, we refer the reader to Jerabek [5], Cheng [1] and Kristiansen and Murwanashyaka [7].…”
Section: Introductionmentioning
confidence: 99%