TY - RPRT TI - Propositional Calculus with Multiple Negations AU - Oscar Ramírez PY - 2025 UR - https://arxiv.org/abs/2411.01627 ID - 2411.01627 ER -