Valdes-Toro JM. Contradictions in Multiverse: Translation of Paraconsistent Logic daC into Many-Sorted Logic. LLP [Internet]. 2025 Sep. 12 [cited 2026 Feb. 7];:1-37. Available from: https://apcz.umk.pl/LLP/article/view/41686