<?xml version="1.0" standalone="yes"?>
<Paper uid="E91-1035">
  <Title>PROOF FIGURES AND STRUCTURAL OPERATORS FOR CATEGORIAL GRAMMAR&amp;quot;</Title>
  <Section position="10" start_page="0" end_page="0" type="concl">
    <SectionTitle>
CONCLUSIONS
</SectionTitle>
    <Paragraph position="0"> We have introduced a scheme of p~oof figure~ for Lambek c~tegorial gr~mmax in the style of ~atural de.</Paragraph>
    <Paragraph position="1"> duction, and proposed structural modalities which we suggest axe suitable for the capture of linguistic sen.</Paragraph>
    <Paragraph position="2"> eralisations. It zemxins to extend the ~em~mtic treatment of the structural moda\]ities,, to refine the proof theory, and hence to develo p more efficient parsing at, gorithms. For the p~eae~t, we. hope that the proposal~ made can be seen as gaining linguistic practicaJity in the c~tegoria~ description of ~atural Iq~gu~ge, without losing mathematical elegance.</Paragraph>
  </Section>
class="xml-element"></Paper>