{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,26]],"date-time":"2023-10-26T20:51:00Z","timestamp":1698353460648},"reference-count":8,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":5064,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1993,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We show that derivations in the nonassociative and commutative Lambek calculus with product can be transformed to a normal form as it is the case with derivations in noncommutative calculi. As an application we obtain that the class of languages generated by categorial grammars based on the nonassociative and commutative Lambek calculus with product is included in the class of CF\u2010languages. MSC: 68Q50, 03D15, 03B65.<\/jats:p>","DOI":"10.1002\/malq.19930390113","type":"journal-article","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T01:24:25Z","timestamp":1180833865000},"page":"103-114","source":"Crossref","is-referenced-by-count":5,"title":["Normal form of derivations in the nonassociative and commutative lambek calculus with product"],"prefix":"10.1002","volume":"39","author":[{"given":"Maciej","family":"Kandulski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","first-page":"507","article-title":"Generative capacity of nonassociative Lambek calculus","volume":"34","author":"Buszkowski W.","year":"1986","journal-title":"Bull. Acad. Polon. Sci. S\u00e9r. Math."},{"key":"e_1_2_1_3_2","volume-title":"The Mathematical Theory of Context\u2010Free Languages","author":"Ginsburg S.","year":"1966"},{"key":"e_1_2_1_4_2","first-page":"95","volume-title":"Centre for Cognitive Science (University of Edinburgh) and Institute for Language, Logic and Information","author":"Hendricks H.","year":"1988"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19880340106"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.2307\/2310058"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1090\/psapm\/012\/9972"},{"key":"e_1_2_1_8_2","volume-title":"Lambek calculus and preposing of embedded subjects","author":"Oehrle R. T."},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1075\/llsee.25.06ben"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19930390113","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19930390113","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,25]],"date-time":"2023-10-25T21:00:20Z","timestamp":1698267620000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19930390113"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,1]]},"references-count":8,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993,1]]}},"alternative-id":["10.1002\/malq.19930390113"],"URL":"https:\/\/doi.org\/10.1002\/malq.19930390113","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,1]]}}}