Morrill, G; Kuznetsov, S; Kanovich, M; Scedrov, A; (2018) Bracket induction for Lambek calculus with bracket modalities. In: Foret, A and Kobele, G and Pogodalla, S, (eds.) Proceedings of the 23rd International Conference on Formal Grammar (FG 2018). (pp. pp. 84-101). Springer: Berlin, Heidelberg.

Preview

Text Kanovich_AAM_brackindLb.pdf - Accepted Version Download (304kB) | Preview

Abstract

Relativisation involves dependencies which, although unbounded, are constrained with respect to certain island domains. The Lambek calculus L can provide a very rudimentary account of relativisation limited to unbounded peripheral extraction; the Lambek calculus with bracket modalities Lb can further condition this account according to island domains. However in naïve parsing/theorem-proving by backward chaining sequent proof search for Lb the bracketed island domains, which can be indefinitely nested, have to be specified in the linguistic input. In realistic parsing word order is given but such hierarchical bracketing structure cannot be assumed to be given. In this paper we show how parsing can be realised which induces the bracketing structure in backward chaining sequent proof search with Lb.

Download activity - last month

Export as JSONXMLCSV

Download activity - last 12 months

Export as CSVXMLJSON

Downloads by country - last 12 months

Export as JSONXMLCSV

Archive Staff Only

View Item