{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:43:42Z","timestamp":1749725022991},"reference-count":27,"publisher":"Wiley","issue":"2","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":4334,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1995,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Two axiomatizations of the nonassociative and commutative Lambek syntactic calculus are given and their equivalence is proved. The first axiomatization employs Permutation as the only structural rule, the second one, with no Permutation rule, employs only unidirectional types. It is also shown that in the case of the Ajdukiewicz calculus an analogous equivalence is valid only in the case of a restricted set of formulas. Unidirectional axiomatizations are employed in order to establish the generative power of categorial grammars based on the nonassociative and commutative Lambek calculus with product. Those grammars produce CF\u2010languages of finite degree generated by CF\u2010grammars closed with respect to permutations.<\/jats:p>","DOI":"10.1002\/malq.19950410208","type":"journal-article","created":{"date-parts":[[2007,6,2]],"date-time":"2007-06-02T20:57:35Z","timestamp":1180817855000},"page":"217-235","source":"Crossref","is-referenced-by-count":3,"title":["On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars"],"prefix":"10.1002","volume":"41","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","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-3401-6_10"},{"key":"e_1_2_1_3_2","first-page":"1","article-title":"On categorial and phrase structure grammars","volume":"9","author":"Bar\u2010Hillel Y.","year":"1960","journal-title":"Bulletin of the Research Council of Israel F."},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-6878-4_3"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1075\/llsee.25.06ben"},{"key":"e_1_2_1_6_2","first-page":"231","volume-title":"Properties, Types and Meaning, vol. I: Foundational Issues, vol. II: Semantic Issues","author":"van Benthem J.","year":"1989"},{"key":"e_1_2_1_7_2","volume-title":"Language in Action. Categories, Lambdas and Dynamic Logic. Studies in Logic and the Foundations of Mathematics","author":"van Benthem J.","year":"1991"},{"key":"e_1_2_1_8_2","first-page":"31","article-title":"A note on the Lambek\u2010van Benthem calculus","volume":"13","author":"Buszkowski W.","year":"1984","journal-title":"Bulletin of the Section of Logic"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19850312402"},{"key":"e_1_2_1_10_2","first-page":"507","article-title":"Generative capacity of nonassociative Lambek calculus","volume":"34","author":"Buszkowski W.","year":"1986","journal-title":"Bulletin of the Polish Academy of Sciences: Mathematics"},{"key":"e_1_2_1_11_2","first-page":"495","article-title":"Typed functorial languages","volume":"34","author":"Buszkowski W.","year":"1986","journal-title":"Bulletin of the Polish Academy of Sciences: Mathematics"},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0018438"},{"key":"e_1_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01201353"},{"key":"e_1_2_1_14_2","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft J.","year":"1979"},{"key":"e_1_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19880340106"},{"key":"e_1_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19880340413"},{"key":"e_1_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1075\/llsee.25.11kan"},{"key":"e_1_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19930390113"},{"key":"e_1_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.2307\/2310058"},{"key":"e_1_2_1_20_2","doi-asserted-by":"publisher","DOI":"10.1090\/psapm\/012\/9972"},{"key":"e_1_2_1_21_2","unstructured":"Moortgat M. Labelled Deductive Systems for categorial theorem proving. OTS Working Papers OTS\u2010WP\u2010CL\u201092\u2013003 Research Institute for Language and Speech Rijksuniversiteit Utrecht 1992."},{"key":"e_1_2_1_22_2","article-title":"Heads and phrases. Type calculus for dependency and constituent structure. Manuscript, OTS Utrecht","author":"Moortgat M.","journal-title":"Journal of Logic"},{"key":"e_1_2_1_23_2","unstructured":"Pentus M. Lambek grammars are context\u2010free. Unpublished manuscript 1992."},{"key":"e_1_2_1_24_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(67)80022-9"},{"key":"e_1_2_1_25_2","volume-title":"Lectures on Linear Logic. CSLI Lecture Notes, vol.29, Center for the Study of Language and Information","author":"Troelstra A. S.","year":"1992"},{"key":"e_1_2_1_26_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02123612"},{"key":"e_1_2_1_27_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19810271306"},{"key":"e_1_2_1_28_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370632"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19950410208","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19950410208","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,26]],"date-time":"2023-10-26T19:51:55Z","timestamp":1698349915000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19950410208"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["10.1002\/malq.19950410208"],"URL":"https:\/\/doi.org\/10.1002\/malq.19950410208","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}