The paper investigates a specific question in philosophical logic: can a particular kind of negation, called "strong negation," be built out of simpler logical ingredients in certain formal systems called bilateral logics? In ordinary logic, negation just flips truth to falsity. Strong negation is more expressive: it actively toggles between two distinct speech acts, asserting something and denying something, which bilateral logics treat as fundamentally different. The question is whether you can reconstruct this powerful operation from weaker building blocks, and if so, which ones.
The main positive results center on something called a Sheffer stroke, which in classical logic is a single operation capable of expressing everything else. The paper identifies constructive versions of this stroke, inspired by the logician Nelson, that can define strong negation through a specific combination of the stroke applied to a formula. The same stroke also captures a distinctive kind of implication used in Nelson's logic, meaning one carefully chosen connective can do a remarkable amount of work on its own. The paper also systematically maps out pairs of connectives that together define strong negation even though neither one can do it alone, identifying exactly eight such useful combinations.
The paper then turns to a different family of connectives rooted in connexive logic, a tradition concerned with more intuitive relationships between conditionals. A connexive version of the Sheffer stroke turns out to share the same defining formula for strong negation as the Nelson-style version. However, there is an important asymmetry: while Nelson-style connectives can combine with other connectives to jointly define strong negation, connexive-style connectives cannot do this in pairs. This contrast reveals a structural difference between the two logical traditions and sharpens our understanding of where strong negation can and cannot come from.