TY - RPRT TI - Infinitary propositional relevant languages with absurdity AU - Guillermo Badia PY - 2018 UR - https://arxiv.org/abs/1809.08153 ID - 1809.08153 ER -