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