(c. 5th century BC) developed a form of logic (to which Boolean logic has some similarities) for his formulation of Sanskrit grammar.
) развил вид логики (который имеет некоторое сходство с булевой логикой для его разработки грамматики санскрита.