2023/04/17 by Balder ten Cate, Cate, Balder ten, Jesse Comer +1
Computer Science · #Natural Language Processing Techniques #semigroups and automata theory #Topic Modeling
paper · pdf · doi:10.48550/arxiv.2304.08086
We show that the guarded-negation fragment (GNFO) is, in a precise sense, the smallest extension of the guarded fragment (GFO) with Craig interpolation. In contrast, %we show that the smallest extension of the two-variable fragment (FO2) with Craig interpolation is full first-order logic.