Nyaya and Vaisesika. The Nyaya system is a philosophy of logic. Though it was first formally written down in the 3 rd century B.C., its history extends.
The Indian Philosophy (Various Schools & Sankhya) Dr Kanchan Saxena.