{"id":"arxiv/2607.27252","url":"https://arxiv.org/abs/2607.27252","tags":["math.LO"],"score":0,"title":"On the Definability of Strong Negation in Bilateral Logics","domain":"math.LO","source":"arxiv","authors":["Ryan Simonelli"],"reviews":0,"subject":"math.LO","summary":"Recent work in bilateral logic has concerned itself with whether and to what extent strong negation, which \"toggles\" between assertion and denial, is definable in bilateral systems that lack it. This paper presents a number of results about the definability of strong negation in bilateral systems. First, I show that a constructive Nelson-style Sheffer stroke defines the strong negation of A as (A|(A|A))|A. The same stroke defines the constructive Nelson implication, thus providing a single-connective basis for the strong-negation-and-implication fragment of N4. Second, I provide an…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-28","reactions":{}}