School of Technology and Computer Science Seminars

Encapsulating Quantification in the Typed Variables

by Dr. Amba Kulkarni (University of Hyderabad, Hyderabad)

Tuesday, February 2, 2010 from to (Asia/Kolkata)
at Colaba Campus ( AG-66 )
Description
The asymmetry in the translation of Natural language sentences involving existential and universal quantifiers is well known. It is possible to get rid of this asymmetry by postulating 'quantified typed' variables. In this presentation, we define a `quantified typed' variable and the algebra associated with these variables to prove the deductions using the method of reductio-ad-absurdum.
Organised by John Barretto