Logic of Nyaya