{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:15:03Z","timestamp":1725891303773},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642312618"},{"type":"electronic","value":"9783642312625"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31262-5_10","type":"book-chapter","created":{"date-parts":[[2012,6,11]],"date-time":"2012-06-11T04:54:04Z","timestamp":1339390444000},"page":"151-160","source":"Crossref","is-referenced-by-count":2,"title":["L-Completeness of the Lambek Calculus with the Reversal Operation"],"prefix":"10.1007","author":[{"given":"Stepan","family":"Kuznetsov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1002\/malq.19820281407","volume":"28","author":"W. Buszkowski","year":"1982","unstructured":"Buszkowski, W.: Compatibility of categorial grammar with an associated category system. Zeitschr. f\u00fcr Math. Logik und Grundl. der Math.\u00a028, 229\u2013238 (1982)","journal-title":"Zeitschr. f\u00fcr Math. Logik und Grundl. der Math."},{"issue":"3","key":"10_CR2","doi-asserted-by":"publisher","first-page":"154","DOI":"10.2307\/2310058","volume":"65","author":"J. Lambek","year":"1958","unstructured":"Lambek, J.: The mathematics of sentence structure. American Math. Monthly\u00a065(3), 154\u2013170 (1958)","journal-title":"American Math. Monthly"},{"key":"10_CR3","first-page":"128","volume-title":"Substructural Logics. Studies in Logic and Computation","author":"J. Lambek","year":"1993","unstructured":"Lambek, J.: From categorial grammar to bilinear logic. In: Do\u0161en, K., Schroeder-Heister, P. (eds.) Substructural Logics. Studies in Logic and Computation, vol.\u00a02, pp. 128\u2013139. Clarendon Press, Oxford (1993)"},{"key":"10_CR4","unstructured":"Minina, V. A.: Completeness of the Lambek syntactic calculus with the involution operation (in Russian). Diploma paper, Dept. of Math. Logic and Theory of Algorithms, Moscow State University (2001)"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1109\/LICS.1993.287565","volume-title":"8th Annual IEEE Symposium on Logic in Computer Science","author":"M. Pentus","year":"1993","unstructured":"Pentus, M.: Lambek grammars are context free. In: 8th Annual IEEE Symposium on Logic in Computer Science, pp. 429\u2013433. IEEE Computer Society Press, Los Alamitos (1993)"},{"issue":"1\u20132","key":"10_CR6","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0168-0072(94)00063-9","volume":"75","author":"M. Pentus","year":"1995","unstructured":"Pentus, M.: Models for the Lambek calculus. Annals of Pure and Applied Logic\u00a075(1\u20132), 179\u2013213 (1995)","journal-title":"Annals of Pure and Applied Logic"},{"key":"10_CR7","series-title":"LNL","first-page":"171","volume-title":"Logic Colloquium 1996","author":"M. Pentus","year":"1998","unstructured":"Pentus, M.: Free monoid completeness of the Lambek calculus allowing empty premises. In: Larrazabal, J.M., Lascar, D., Mints, G. (eds.) Logic Colloquium 1996. LNL, vol.\u00a012, pp. 171\u2013209. Springer, Berlin (1998)"}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31262-5_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:53:59Z","timestamp":1620129239000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31262-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642312618","9783642312625"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31262-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}