|Universiteit Faculteit FNWI English version||19 november 2007, e-mail|
Woensdag 28 november 2007
AbstractIn this talk, I discuss the Lambek-Grishin calculus (LG): a symmetric Version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin (1983). In LG, the Lambek connectives (a non-commutative product, with residual left and right implications) are complemented with a dual family: coproduct, left and right difference. The two families interact by means of structure-preserving distributivity principles.
We discuss Kripke-style relational semantics and Curry-Howard computational semantics for LG. We show how the introduction of symmetry and structure-preserving interaction leads to a natural account of linguistic phenomena that are problematic for Lambek's original syntactic calculus.
Graduate students are encouraged to attend this talk.