Return to Article Details A Higher-order Dialogical Logic to demonstrate Leibniz’s Law of Identity of Indiscernibles Download Download PDF