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.
| Type: | Proceedings paper |
|---|---|
| Title: | Bracket induction for Lambek calculus with bracket modalities |
| Event: | 23rd International Conference on Formal Grammar (FG 2018), 11-12 August 2018, Sofia, Bulgaria |
| ISBN-13: | 9783662577837 |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1007/978-3-662-57784-4_5 |
| Language: | English |
| Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions. |
| Keywords: | Lambek calculus with brackets, bracket induction, categorial grammar |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10081699 |
Loading...
Loading...Loading...Loading...Archive Staff Only
 |
View Item |
