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