TY - RPRT TI - Algebraic logic for the negation fragment of classical logic AU - Luciano J. González PY - 2023 UR - https://arxiv.org/abs/2210.01709 ID - 2210.01709 ER -