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