{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,19]],"date-time":"2024-02-19T03:10:23Z","timestamp":1708312223135},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2007,11,16]],"date-time":"2007-11-16T00:00:00Z","timestamp":1195171200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2007,12,6]]},"DOI":"10.1007\/s11225-007-9083-4","type":"journal-article","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T10:27:05Z","timestamp":1195122425000},"page":"145-169","source":"Crossref","is-referenced-by-count":11,"title":["Type Logics and Pregroups"],"prefix":"10.1007","volume":"87","author":[{"given":"Wojciech","family":"Buszkowski","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,11,16]]},"reference":[{"key":"9083_CR1","doi-asserted-by":"crossref","first-page":"1403","DOI":"10.2307\/2275485","volume":"56","author":"V.M. Abrusci","year":"1991","unstructured":"Abrusci V.M., (1991) \u2018Phase semantics and sequent system for pure noncommutative classical propositional logic\u2019. Journal of Symbolic Logic 56:1403\u20131454","journal-title":"Journal of Symbolic Logic"},{"key":"9083_CR2","first-page":"1","volume":"1","author":"K. Ajdukiewicz","year":"1935","unstructured":"Ajdukiewicz K., (1935) \u2018Die syntaktische Konnexit\u00e4t\u2019. Studia Philosophica 1:1\u201327","journal-title":"Studia Philosophica"},{"key":"9083_CR3","first-page":"155","volume":"F9","author":"Y. Bar-Hillel","year":"1960","unstructured":"Bar-Hillel Y., Gaifman C., Shamir E. (1960) \u2018On categorial and phrase structure grammars\u2019. Bull. Res Council Israel F9:155\u2013166","journal-title":"Bull. Res Council Israel"},{"key":"9083_CR4","unstructured":"B\u00e9chet, D., \u2018Parsing Pregroup Grammars and the Lambek Calculus using Partial Composition\u2019, this issue."},{"key":"9083_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-4540-1","volume-title":"Essays in Logical Semantics","author":"J. Benthem van","year":"1986","unstructured":"van Benthem J., (1986) Essays in Logical Semantics. D. Reidel, Dordrecht"},{"key":"9083_CR6","volume-title":"Language in Action. Lambdas and Dynamic Logic","author":"J. Benthem van","year":"1991","unstructured":"van Benthem J., (1991) Language in Action. Categories, Lambdas and Dynamic Logic. North-Holland, Amsterdam"},{"key":"9083_CR7","volume-title":"Exploring Logical Dynamics","author":"J. Benthem van","year":"1996","unstructured":"van Benthem J., (1996) Exploring Logical Dynamics. CSLI, Stanford"},{"key":"9083_CR8","volume-title":"Handbook of Logic and Language","year":"1997","unstructured":"van Benthem J., Ter Meulen A. (eds) (1997) Handbook of Logic and Language. Elsevier, Amsterdam"},{"key":"9083_CR9","unstructured":"Buli\u0144ska, M., \u2018P-TIME Decidabilty of NL1 with Assumptions\u2019, Electronic Proc. Formal Grammars 2006, 29\u201338."},{"key":"9083_CR10","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1002\/malq.19820283308","volume":"28","author":"W. Buszkowski","year":"1982","unstructured":"Buszkowski W., (1982) \u2018Some decision problems in the theory of syntactic categories\u2019. Zeitschrift f. math. Logik und Grundlagen d. Math. 28:539\u2013548","journal-title":"Zeitschrift f. math. Logik und Grundlagen d. Math."},{"key":"9083_CR11","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1002\/malq.19860320104","volume":"32","author":"W. Buszkowski","year":"1986","unstructured":"Buszkowski W., (1986) \u2018Completeness results for Lambek Syntactic Calculus\u2019. Zeitschrift f. math. Logik und Grundlagen d. Math. 32:13\u201328","journal-title":"Zeitschrift f. math. Logik und Grundlagen d. Math."},{"key":"9083_CR12","first-page":"507","volume":"34","author":"W. Buszkowski","year":"1986","unstructured":"Buszkowski W., (1986) \u2018Generative Capacity of Non-Associative Lambek Calculus\u2019. Bulletin of Polish Academy of Sciences. Math. 34:507\u2013516","journal-title":"Bulletin of Polish Academy of Sciences. Math."},{"key":"9083_CR13","doi-asserted-by":"crossref","unstructured":"Buszkowski, W., \u2018Generative Power of Categorial Grammars\u2019, [40]:69\u201394.","DOI":"10.1007\/978-94-015-6878-4_4"},{"key":"9083_CR14","doi-asserted-by":"crossref","unstructured":"Buszkowski, W., \u2018Lambek Grammars Based on Pregroups\u2019, [24]:95\u2013109.","DOI":"10.1007\/3-540-48199-0_6"},{"key":"9083_CR15","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/3-540-36280-0_3","volume":"2561","author":"W. Buszkowski","year":"2002","unstructured":"Buszkowski W., (2002) \u2018Pregroups: Models and Grammars\u2019. Relational Methods in Computer Science, LNCS 2561:35\u201349","journal-title":"Relational Methods in Computer Science, LNCS"},{"key":"9083_CR16","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1002\/malq.200310050","volume":"49","author":"W. Buszkowski","year":"2003","unstructured":"Buszkowski W., (2003) \u2018Sequent Systems for Compact Bilinear Logic\u2019. Mathematical Logic Quarterly, 49:467\u2013474","journal-title":"Mathematical Logic Quarterly,"},{"key":"9083_CR17","unstructured":"Buszkowski, W., \u2018Lambek Calculus with Non-Logical Axioms\u2019, [19]:77\u201393."},{"key":"9083_CR18","first-page":"199","volume":"17.1","author":"W. Buszkowski","year":"2007","unstructured":"Buszkowski W., (2007) \u2018On Action Logic: Equational Theories of Action Algebras\u2019. Journal of Logic and Computation 17.1:199\u2013217","journal-title":"Journal of Logic and Computation"},{"key":"9083_CR19","unstructured":"Casadio, C., P.J. Scott, and R. Seely (eds.), Language and Grammar. Studies in Mathematical Linguistics and Natural Language, CSLI Lecture Notes 168, Stanford, 2005."},{"key":"9083_CR20","unstructured":"Fadda, M., \u2018Towards flexible pregroup grammars\u2019, New Perspectives in Logic and Formal Linguistics, 95\u2013112, Bulzoni Editore, Roma, 2002."},{"key":"9083_CR21","unstructured":"Farulewski, M., \u2018Finite Embeddability Property of Residuated Ordered Groupoids\u2019, Reports on Mathematical Logic. To appear."},{"key":"9083_CR22","unstructured":"Francez, N. and M. Kaminski, \u2018Commutation-Augmented Pregroup Grammars and Mildly Context-Sensitive Languages\u2019, this issue."},{"key":"9083_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard J.-Y., (1987) \u2018Linear logics\u2019. Theoretical Computer Science 50:1\u2013102","journal-title":"Theoretical Computer Science"},{"key":"9083_CR24","doi-asserted-by":"crossref","unstructured":"de Groote, P., G. Morrill, and C. Retor\u00e9 (eds.), Logical Aspects of Computational Linguistics, LNAI 2099, Springer, 2001.","DOI":"10.1007\/3-540-48199-0"},{"key":"9083_CR25","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1023\/A:1026175817625","volume":"13","author":"G. J\u00e4ger","year":"2004","unstructured":"J\u00e4ger G., (2004) \u2018Residuation, structural rules and context-freeness\u2019. Journal of Logic, Language and Information 13:47\u201359","journal-title":"Journal of Logic, Language and Information"},{"key":"9083_CR26","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1023\/B:STUD.0000032089.54776.63","volume":"76","author":"P. Jipsen","year":"2004","unstructured":"Jipsen P., (2004) \u2018From Semirings to Residuated Kleene Algebras\u2019. Studia Logica 76:291\u2013303","journal-title":"Studia Logica"},{"issue":"2","key":"9083_CR27","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF00171695","volume":"1","author":"M. Kanazawa","year":"1992","unstructured":"Kanazawa M., (1992) \u2018The Lambek Calculus Enriched with Additional Connectives\u2019. Journal of Logic, Language and Information 1.2:141\u2013171","journal-title":"Journal of Logic, Language and Information"},{"key":"9083_CR28","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1002\/malq.19880340106","volume":"34","author":"M. Kandulski","year":"1988","unstructured":"Kandulski M., (1988) \u2018The equivalence of nonassociative Lambek categorial grammars and context-free grammars\u2019. Zeitschrift f. math. Logik und Grundlagen d. Math. 34:41\u201352","journal-title":"Zeitschrift f. math. Logik und Grundlagen d. Math."},{"key":"9083_CR29","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1002\/malq.19930390113","volume":"39","author":"M. Kandulski","year":"1993","unstructured":"Kandulski M., (1993) \u2018Normal Form of Derivations for the Nonassociative and Commutative Lambek Calculus with Product\u2019. Mathematical Logic Quarterly 39:103\u2013114","journal-title":"Mathematical Logic Quarterly"},{"key":"9083_CR30","unstructured":"Ki\u015blak-Malinowska, A., \u2018On the logic of \u03b2 pregroups\u2019, this issue."},{"key":"9083_CR31","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1080\/00029890.1958.11989160","volume":"65","author":"J. Lambek","year":"1958","unstructured":"Lambek J., (1958) \u2018The mathematics of sentence structure\u2019. American Mathematical Monthly 65:154\u2013170","journal-title":"American Mathematical Monthly"},{"key":"9083_CR32","doi-asserted-by":"crossref","unstructured":"Lambek J., \u2018On the calculus of syntactic types\u2019, Structure of Language and Its Mathematical Aspects. Proc. Symp. Appl. Math., AMS, Providence, 166\u2013178, 1961","DOI":"10.1090\/psapm\/012\/9972"},{"key":"9083_CR33","doi-asserted-by":"crossref","unstructured":"Lambek, J., \u2018From categorial grammar to bilinear logic\u2019, [47]:207\u2013237.","DOI":"10.1093\/oso\/9780198537779.003.0008"},{"key":"9083_CR34","doi-asserted-by":"crossref","unstructured":"Lambek, J., \u2018Type Grammars Revisited\u2019, [37]:1\u201327.","DOI":"10.1007\/3-540-48975-4_1"},{"key":"9083_CR35","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1023\/A:1011444711686","volume":"4","author":"J. Lambek","year":"2001","unstructured":"Lambek J., (2001) \u2018Type Grammars as Pregroups\u2019. Grammars 4:21\u201339","journal-title":"Grammars"},{"key":"9083_CR36","unstructured":"Lambek, J., \u2018Should Pregroup Grammars be Adorned with Additional Operations?\u2019, this issue."},{"key":"9083_CR37","doi-asserted-by":"crossref","unstructured":"Lecomte, A., F. Lamarche, and G. Perrier (eds.), Logical Aspects of Computational Linguistics, LNAI 1582, Springer, 1999.","DOI":"10.1007\/3-540-48975-4"},{"key":"9083_CR38","doi-asserted-by":"crossref","unstructured":"Moortgat, M., \u2018Categorial Type Logic\u2019, [8]:93\u2013177.","DOI":"10.1016\/B978-044481714-3\/50005-9"},{"key":"9083_CR39","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-1042-6","volume-title":"Type Logical Grammar","author":"G. Morrill","year":"1994","unstructured":"Morrill G., (1994) Type Logical Grammar. Kluwer, Dordrecht"},{"key":"9083_CR40","doi-asserted-by":"crossref","unstructured":"Oehrle, R. T., E. Bach, and D. Wheeler (eds.), Categorial Grammars and Natural Language Structures, D. Reidel, Dordrecht, 1988.","DOI":"10.1007\/978-94-015-6878-4"},{"key":"9083_CR41","doi-asserted-by":"crossref","unstructured":"Ono, H., \u2018Semantics of Substructural Logics\u2019, [47]:259\u2013291.","DOI":"10.1093\/oso\/9780198537779.003.0010"},{"key":"9083_CR42","doi-asserted-by":"crossref","unstructured":"Pentus, M., \u2018Lambek Grammars are Context-Free\u2019, Proc. 8th IEEE Symp. Logic in Computer Scie., 429\u2013433, 1993.","DOI":"10.1109\/LICS.1993.287565"},{"key":"9083_CR43","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0168-0072(94)00063-9","volume":"75","author":"M. Pentus","year":"1995","unstructured":"Pentus M., (1995) \u2018Models for the Lambek Calculus\u2019. Annals of Pure and Applied Logic 75:179\u2013213","journal-title":"Annals of Pure and Applied Logic"},{"key":"9083_CR44","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1016\/j.tcs.2006.03.018","volume":"357","author":"M. Pentus","year":"2006","unstructured":"Pentus M., (2006) \u2018Lambek calculus is NP-complete\u2019. Theoretical Computer Science 357:186\u2013201","journal-title":"Theoretical Computer Science"},{"key":"9083_CR45","doi-asserted-by":"crossref","unstructured":"Preller, A., \u2018Category Theoretical Semantics for Pregroup Grammars\u2019, Logical Aspects of Computational Linguistics, LNAI 3492, Springer, Berlin, 2005, pp. 254\u2013270.","DOI":"10.1007\/11422532_16"},{"key":"9083_CR46","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1017\/S0960129506005901","volume":"17","author":"A. Preller","year":"2007","unstructured":"Preller A., Lambek J., (2007) \u2018Free compact 2-categories\u2019. Mathematical Structures in Computer Science 17:309\u2013340","journal-title":"Mathematical Structures in Computer Science"},{"key":"9083_CR47","volume-title":"Substructural Logics","year":"1993","unstructured":"Schroeder-Heister P., Dosen K. (eds) (1993) Substructural Logics. Clarendon Press, Oxford"},{"key":"9083_CR48","doi-asserted-by":"crossref","first-page":"41","DOI":"10.2307\/2274953","volume":"55","author":"D.N. Yetter","year":"1990","unstructured":"Yetter D.N. (1990) \u2018Quantales and (Non-Commutative) Linear Logic\u2019. Journal of Symbolic Logic 55:41-64","journal-title":"Journal of Symbolic Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-007-9083-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-007-9083-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-007-9083-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,19]],"date-time":"2024-02-19T02:53:40Z","timestamp":1708311220000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-007-9083-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,11,16]]},"references-count":48,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2007,12,6]]}},"alternative-id":["9083"],"URL":"https:\/\/doi.org\/10.1007\/s11225-007-9083-4","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,11,16]]}}}