Loading...
Loading...

Go to the content (press return)

Count-invariance including exponentials

Author
Kuznetsov, S.; Morrill, G.; Valentín, O.
Type of activity
Presentation of work at congresses
Name of edition
15th Meeting on te Mathematics of Language
Date of publication
2017
Presentation's date
2017
Book of congress proceedings
MOL 2017: The 15th Meeting on the Mathematics of Language: proceedings of the Conference: July 13–14, 2017 London, UK
First page
128
Last page
139
Publisher
Association for Computational Linguistics
Repository
http://hdl.handle.net/2117/114970 Open in new window
Abstract
We define infinitary count-invariance for categorial logic, extending countinvariance for multiplicatives (van Benthem, 1991) and additives and bracket modalities (Valentín et al., 2013) to include exponentials. This provides an effective tool for pruning proof search in categorial parsing/theorem-proving.
Citation
Kuznetsov, S., Morrill, G., Valentín, O. Count-invariance including exponentials. A: Meeting on te Mathematics of Language. "MOL 2017: The 15th Meeting on the Mathematics of Language: proceedings of the Conference: July 13–14, 2017 London, UK". Stroudsburg, PA: Association for Computational Linguistics, 2017, p. 128-139.
Group of research
LARCA - Laboratory of Relational Algorithmics, Complexity and Learnability

Participants

  • Kuznetsov, Stepan  (author and speaker )
  • Morrill, Glyn Verden  (author and speaker )
  • Valentín, Oriol  (author and speaker )