Shafiei, Mohammad. “A Higher-Order Dialogical Logic to Demonstrate Leibniz’s Law of Identity of Indiscernibles”. Revista de Humanidades de Valparaíso, no. 9 (July 15, 2017): 73–88. Accessed September 8, 2025. https://revistas.uv.cl/index.php/RHV/article/view/62.