TY - RPRT TI - Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator AU - Chrysafis Hartonas PY - 2023 UR - https://arxiv.org/abs/2301.05661 ID - 2301.05661 ER -