{"id":"arxiv/2605.29880","url":"https://arxiv.org/abs/2605.29880","tags":["math.LO"],"score":0,"title":"Undecidability in Relevant Logic","domain":"math.LO","source":"arxiv","authors":["Søren Brinck Knudstorp"],"reviews":0,"subject":"math.LO","summary":"We prove undecidability for every positive relevant logic extending the system axiomatized by hypothetical syllogism, prefixing, and suffixing and contained in the logic of the semilattice frame $(P_{\\mathrm{fin}}(\\mathbb{N}), \\cup, \\varnothing)$. This settles the longstanding decision problem for the semilattice relevant logic S in the negative, contrary to prevailing expectations of decidability. It also provides a new proof of Urquhart's (1984) undecidability theorem for R, E, and T, now by reduction from the Wang tiling problem for arbitrarily large finite isosceles right triangular…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-28","reactions":{}}