Tata Institute of Fundamental Research
Encapsulating Quantification in the Typed Variables
Colloquium
Speaker:
Amba Kulkarni
University of Hyderabad
Department of Sanskrit Studies
P.O. Central University
Hyderabad 500046
Date:
Tuesday, 2 Feb 2010 (all day)
Venue:
AG-66
(Scan to add to calendar)
Abstract:
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.
| Speaker: | Amba Kulkarni University of Hyderabad Department of Sanskrit Studies P.O. Central University Hyderabad 500046 |
| Date: | Tuesday, 2 Feb 2010 (all day) |
| Venue: | AG-66 |
(Scan to add to calendar)
Abstract:
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.