BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/66
DTSTAMP:20230914T125908Z
SUMMARY:Encapsulating Quantification in the Typed Variables
DESCRIPTION:Speaker: Amba Kulkarni\nUniversity of Hyderabad\nDepartment of 
 Sanskrit Studies\nP.O. Central University\nHyderabad 500046\n\nAbstract: \
 nThe 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 thi
 s presentation\, we define a `quantified typed' variable and the algebra a
 ssociated with these variables to prove the deductions using the method of
  reductio-ad-absurdum.\n
URL:https://www.tcs.tifr.res.in/web/events/66
DTSTART;VALUE=DATE:20100202
LOCATION:AG-66
END:VEVENT
END:VCALENDAR