Logic And Its Applications Third Indian Conference Icla 2009 Chennai India January 7 11 2009 Proceedings 2009