Title: Negation in Intuitionistic Logic and Navya Nyaya