VALDES-TORO, Julian Mauricio. Contradictions in Multiverse: Translation of Paraconsistent Logic daC into Many-Sorted Logic. Logic and Logical Philosophy. Online. 12 September 2025. pp. 1-37. [Accessed 7 February 2026]. DOI 10.12775/LLP.2025.018.