TY - RPRT TI - Maximality of logic without identity AU - Guillermo Badia AU - Xavier Caicedo AU - Carles Noguera PY - 2022 UR - https://arxiv.org/abs/2203.08722 ID - 2203.08722 ER -