TY - RPRT TI - Propositional Measure Logic AU - Francisco Aragão PY - 2025 UR - https://arxiv.org/abs/2505.14693 ID - 2505.14693 ER -