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