Valdes-Toro, Julian Mauricio. “Contradictions in Multiverse: Translation of Paraconsistent Logic DaC into Many-Sorted Logic”. Logic and Logical Philosophy, Sept. 2025, pp. 1-37, doi:10.12775/LLP.2025.018.