collaborators

1 paper

math.LO2026

On the Definability of Strong Negation in Bilateral Logics

Ryan Simonelli

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…