Robustness in Tabular Deduction for Multimodal Logical Grammar - Part 1

this paper we present several extensions to a deduction method for parsing with multimodal logical grammars, aiming to provide more robustness. The deduction method was originally developed by Hepple [1, 2] for linear logic and has been extended by Kruijff in [4] to cover multimodal logical grammar (mmlg). mmlg is a grammar framework in the spirit of categorial grammar and type-logical grammar. Formally, mmlg is based on resource-sensitive logics which can conveniently be formalized using labelled (natural) deductive systems (Gabbay). Within the last couple of years, various authors have used mmlg to formulate grammar-fragments dealing not only with `pure' syntax but also with prosody and information structure (notably Hendriks, Steedman; cf. also [3])