{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,5]],"date-time":"2024-07-05T19:10:13Z","timestamp":1720206613793},"reference-count":50,"publisher":"MIT Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computational Linguistics"],"published-print":{"date-parts":[[2018,6]]},"abstract":"<jats:p>Spurious ambiguity is the phenomenon whereby distinct derivations in grammar may assign the same structural reading, resulting in redundancy in the parse search space and inefficiency in parsing. Understanding the problem depends on identifying the essential mathematical structure of derivations. This is trivial in the case of context free grammar, where the parse structures are ordered trees; in the case of type logical categorial grammar, the parse structures are proof nets. However, with respect to multiplicatives, intrinsic proof nets have not yet been given for displacement calculus, and proof nets for additives, which have applications to polymorphism, are not easy to characterize. In this context we approach here multiplicative-additive spurious ambiguity by means of the proof-theoretic technique of focalization.<\/jats:p>","DOI":"10.1162\/coli_a_00316","type":"journal-article","created":{"date-parts":[[2018,4,4]],"date-time":"2018-04-04T17:23:42Z","timestamp":1522862622000},"page":"285-327","source":"Crossref","is-referenced-by-count":1,"title":["Spurious Ambiguity and Focalization"],"prefix":"10.1162","volume":"44","author":[{"given":"Glyn","family":"Morrill","sequence":"first","affiliation":[{"name":"Department of Computer Science, Universitat Polit\u00e8cnica de Catalunya, Barcelona."}]},{"given":"Oriol","family":"Valent\u00edn","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Universitat Polit\u00e8cnica de Catalunya, Barcelona."}]}],"member":"281","reference":[{"key":"bib1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53042-9_3"},{"key":"bib2","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.3.297"},{"key":"bib3","first-page":"1","volume":"9","author":"Bar-Hillel Y.","year":"1960","journal-title":"Bulletin of the Research Council of Israel"},{"key":"bib4","doi-asserted-by":"publisher","DOI":"10.2307\/416279"},{"key":"bib5","unstructured":"Chaudhuri, Kaustuv. 2006. The Focused Inverse Method for Linear Logic. Ph.D. thesis, Carnegie Mellon University, Pittsburgh, PA, USA. AAI3248489."},{"key":"bib6","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-09680-3_26"},{"key":"bib7","author":"Cohen Shay B.","year":"2012","journal-title":"CoRR"},{"key":"bib8","doi-asserted-by":"publisher","DOI":"10.3115\/981863.981874"},{"key":"bib9","unstructured":"Fadda, Mario. 2010. Geometry of Grammar: Exercises in Lambek Style. Ph.D. thesis, Universitat Polit\u00e8cnica de Catalunya, Barcelona."},{"key":"bib10","first-page":"959","volume-title":"COLING 2012, 24th International Conference on Computational Linguistics, Proceedings of the Conference: Technical Papers","author":"Goldberg Yoav","year":"2012"},{"key":"bib11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48660-7_1"},{"key":"bib12","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1162\/tacl_a_00216","volume":"1","author":"Hayashi Katsuhiko","year":"2013","journal-title":"TACL"},{"key":"bib13","unstructured":"Hendriks, H. 1993. Studied Flexibility. Categories and Types in Syntax and Semantics. Ph.D. thesis, Universiteit van Amsterdam, ILLC, Amsterdam."},{"key":"bib14","doi-asserted-by":"publisher","DOI":"10.3115\/997939.997969"},{"key":"bib15","doi-asserted-by":"publisher","DOI":"10.3115\/976815.976817"},{"key":"bib16","first-page":"379","volume-title":"Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies: Short Papers - Volume 2","author":"Huang Shujian","year":"2011"},{"key":"bib17","doi-asserted-by":"publisher","DOI":"10.1145\/1094622.1094629"},{"key":"bib18","first-page":"31","volume-title":"Foundational Issues in Natural Language Processing","author":"Joshi A. K.","year":"1991"},{"key":"bib19","doi-asserted-by":"publisher","DOI":"10.1007\/BF00171695"},{"key":"bib20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02737-6_25"},{"key":"bib21","first-page":"22.1","volume-title":"Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017)","author":"Kanovich Max","year":"2017"},{"key":"bib22","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/W17-3413"},{"key":"bib23","first-page":"241","volume-title":"Proofs and Linguistic Categories - Applications of Logic to the Analysis and Implementation of Natural Language","author":"Lamarche F.","year":"1996"},{"key":"bib24","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1958.11989160"},{"key":"bib25","doi-asserted-by":"publisher","DOI":"10.1090\/psapm\/012\/9972"},{"key":"bib26","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-6878-4_11"},{"key":"bib28","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(91)90068-W"},{"key":"bib29","author":"Moortgat Michael","year":"2011","journal-title":"CoRR"},{"key":"bib30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54789-8_17"},{"key":"bib31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53042-9_16"},{"key":"bib32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31555-8"},{"key":"bib33","first-page":"429","volume-title":"Proceedings of the Seventh Colloquium","author":"Morrill Glyn","year":"1990"},{"key":"bib34","first-page":"157","volume-title":"Proofs and Linguistic Categories, Proceedings 1996 Roma Workshop","author":"Morrill Glyn","year":"1996"},{"key":"bib35","doi-asserted-by":"publisher","DOI":"10.1162\/089120100561728"},{"key":"bib36","first-page":"13","volume-title":"LACL 2012 System Demonstrations","author":"Morrill Glyn","year":"2012"},{"key":"bib37","first-page":"107","volume-title":"Proceedings of the Workshop on Logic and Algorithms in Computational Linguistics 2017","author":"Morrill Glyn","year":"2017"},{"issue":"1","key":"bib38","first-page":"167","volume":"36","author":"Morrill Glyn","year":"2010","journal-title":"Linguistic Analysis"},{"key":"bib39","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.197.4"},{"key":"bib40","first-page":"141","volume-title":"Empirical Issues in Syntax and Semantics","volume":"11","author":"Morrill Glyn","year":"2016"},{"key":"bib41","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-010-9129-2"},{"key":"bib42","volume-title":"Categorial Grammar: Logical Syntax, Semantics, and Processing","author":"Morrill Glyn V.","year":"2011"},{"key":"bib43","unstructured":"Pentus, M. 1992. Lambek grammars are context-free. Technical report, Department of Mathematics and Logic, Steklov Math. Institute, Moskow. Also published as ILLC Report, University of Amsterdam, 1993, and in Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science. Montreal, 1993."},{"key":"bib44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-22110-5_7"},{"key":"bib45","first-page":"487","volume-title":"Proceedings of the Ninth Annual IEEE Symposium on Logic in Computer Science","author":"Pentus Mati","year":"1993"},{"issue":"1","key":"bib46","first-page":"441","volume":"36","author":"Pentus Mati","year":"2010","journal-title":"Linguistic Analysis"},{"key":"bib47","unstructured":"Simmons, Robert J. 2012. Substructural Logical Specifications. Ph.D. thesis, Carnegie Mellon University, Pittsburgh."},{"key":"bib48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35722-0_23"},{"key":"bib49","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6591.001.0001","volume-title":"The Syntactic Process","author":"Steedman Mark","year":"2000"},{"key":"bib50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53042-9_9"},{"key":"bib51","first-page":"137","volume":"4","author":"Wijnholds Gijs Jasper","year":"2014","journal-title":"Computational Linguistics in the Netherlands Journal"}],"container-title":["Computational Linguistics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mitpressjournals.org\/doi\/pdf\/10.1162\/coli_a_00316","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,5]],"date-time":"2024-07-05T18:57:24Z","timestamp":1720205844000},"score":1,"resource":{"primary":{"URL":"https:\/\/direct.mit.edu\/coli\/article\/44\/2\/285-327\/1604"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":50,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,6]]}},"alternative-id":["10.1162\/coli_a_00316"],"URL":"https:\/\/doi.org\/10.1162\/coli_a_00316","relation":{},"ISSN":["0891-2017","1530-9312"],"issn-type":[{"value":"0891-2017","type":"print"},{"value":"1530-9312","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,6]]}}}