TY - RPRT TI - Geometric contexts and applications to logic AU - Mayk de Andrade AU - Hugo Mariano PY - 2023 UR - https://arxiv.org/abs/2311.03507 ID - 2311.03507 ER -