Categorial Grammar and Discourse Representation Theory

Download (0)

Full text

(1)
(2)
(3)
(4)
(5)
(6)
(7)

Figure

fig. 1, where it is shown that (s / (n \ s)) / on, cn, (n \ s) / n, ((s / n) \s) / cn, cn }- s is a provable se- quent
fig. 1, where it is shown that (s / (n \ s)) / on, cn, (n \ s) / n, ((s / n) \s) / cn, cn }- s is a provable se- quent p.2

References