Valdes-Toro, J. M. (2025). Contradictions in Multiverse: Translation of Paraconsistent Logic daC into Many-Sorted Logic. Logic and Logical Philosophy, 1–37. https://doi.org/10.12775/LLP.2025.018