Logic in Computer Science

Authors and titles for cs.LO in Apr 2014, skipping first 95

[96]  arXiv:1404.4004 (cross-list from math.LO) [pdf, ps, other]

Title: One-dimensional fragment of first-order logic

Authors: Lauri Hella, Antti Kuusisto

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[97]  arXiv:1404.4599 (cross-list from math.CO) [src]

Title: Finite Groupoids, Finite Coverings and Symmetries in Finite Structures

Authors: Martin Otto

Comments: The construction of finite n-acyclic groupoids in Section 2.4 is flawed and I know of no direct repair: completion turns out to be incompatible with restriction to proper subsets of the generator set, so that the induction towards Proposition 2.22 does not stabilise as claimed. This problem has been overcome in arxiv:1806.08664. Also compare arxiv:1709.00031 and arXiv:2208.03273

Subjects: Combinatorics (math.CO); Logic in Computer Science (cs.LO); Logic (math.LO)

[98]  arXiv:1404.7401 (cross-list from math.LO) [pdf, other]

Title: Residuated Basic Logic II. Interpolation, Decidability and Embedding

Authors: Minghui Ma, Zhe Lin

Comments: 17 pages with 1 figure

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)