TY - RPRT TI - On the Definability of Strong Negation in Bilateral Logics AU - Ryan Simonelli PY - 2026 UR - https://arxiv.org/abs/2607.27252 ID - 2607.27252 ER -