TY - RPRT TI - On Universally Free First-Order Extensions of Belnap-Dunn's Four-Valued Logic and Nelson's Paraconsistent Logic N4 AU - Henrique Antunes AU - Abilio Rodrigues PY - 2024 UR - https://arxiv.org/abs/2412.19767 ID - 2412.19767 ER -