{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:41:00Z","timestamp":1725579660261},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642320231"},{"type":"electronic","value":"9783642320248"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32024-8_1","type":"book-chapter","created":{"date-parts":[[2012,7,14]],"date-time":"2012-07-14T03:58:00Z","timestamp":1342238280000},"page":"1-16","source":"Crossref","is-referenced-by-count":1,"title":["Polarized Montagovian Semantics for the Lambek-Grishin Calculus"],"prefix":"10.1007","author":[{"given":"Arno","family":"Bastenhof","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"1_CR1","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1093\/logcom\/2.3.297","volume":"2","author":"J.-M. Andreoli","year":"1992","unstructured":"Andreoli, J.-M.: Logic programming with focusing proofs in linear logic. Journal of Logic and Computation\u00a02(3), 297\u2013347 (1992)","journal-title":"Journal of Logic and Computation"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-540-73445-1_5","volume-title":"Logic, Language, Information and Computation","author":"R. Bernardi","year":"2007","unstructured":"Bernardi, R., Moortgat, M.: Continuation Semantics for Symmetric Categorial Grammar. In: Leivant, D., de Queiroz, R. (eds.) WoLLIC 2007. LNCS, vol.\u00a04576, pp. 53\u201371. Springer, Heidelberg (2007)"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Cockett, J.R.B., Seely, R.A.G.: Weakly distributive categories. Journal of Pure and Applied Algebra, 45\u201365 (1991)","DOI":"10.1017\/CBO9780511525902.004"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Danos, V., Joinet, J.-B., Schellinx, H.: LKQ and LKT: Sequent calculi for second order logic based upon dual linear decompositions of classical implication. In: Proceedings of the workshop on Advances in Linear Logic, New York, NY, USA, pp. 211\u2013224. Cambridge University Press (1995)","DOI":"10.1017\/CBO9780511629150.011"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1023\/A:1020520915016","volume":"71","author":"P. Groote De","year":"2002","unstructured":"De Groote, P., Lamarche, F.: Classical Non Associative Lambek Calculus. Studia Logica\u00a071, 355\u2013388 (2002)","journal-title":"Studia Logica"},{"key":"1_CR6","unstructured":"Do\u0161en, K., Petri\u0107, Z.: Proof-theoretical Coherence. King\u2019s College Publications (2004)"},{"issue":"3","key":"1_CR7","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1017\/S0960129500001328","volume":"1","author":"J.-Y. Girard","year":"1991","unstructured":"Girard, J.-Y.: A new constructive logic: Classical logic. Mathematical Structures in Computer Science\u00a01(3), 255\u2013296 (1991)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"3","key":"1_CR8","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1093\/jigpal\/6.3.451","volume":"6","author":"R. Gor\u00e9","year":"1998","unstructured":"Gor\u00e9, R.: Substructural logics on display. Logic Journal of the IGPL\u00a06(3), 451\u2013504 (1998)","journal-title":"Logic Journal of the IGPL"},{"key":"1_CR9","unstructured":"Grishin, V.N.: On a generalization of the Ajdukiewicz-Lambek system. In: Mikhailov, A.I. (ed.) Studies in Nonclassical Logics and Formal Systems, Nauka, Moscow, pp. 315\u2013334 (1983)"},{"key":"1_CR10","unstructured":"Kurtonina, N., Moortgat, M.: Relational semantics for the Lambek-Grishin calculus. Mathematics of Language. Citeseerx (2007), doi:10.1.1.92.3297"},{"key":"1_CR11","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 Mathematical Monthly\u00a065, 154\u2013169 (1958)","journal-title":"American Mathematical Monthly"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Lambek, J.: On the calculus of syntactic types. In: Jakobson, R. (eds.) tructure of Language and its Mathematical Aspects, Proceedings of the Twelfth Symposium in Applied Mathematics (1961)","DOI":"10.1090\/psapm\/012\/9972"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Moortgat, M.: Categorial type logics. In: Handbook of Logic and Language, pp. 93\u2013177. Elsevier (1997)","DOI":"10.1016\/B978-044481714-3\/50005-9"},{"issue":"6","key":"1_CR14","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1007\/s10992-009-9118-6","volume":"38","author":"M. Moortgat","year":"2009","unstructured":"Moortgat, M.: Symmetric categorial grammar. Journal of Philosophical Logic\u00a038(6), 681\u2013710 (2009)","journal-title":"Journal of Philosophical Logic"},{"key":"1_CR15","unstructured":"Moortgat, M.: Symmetric categorial grammar: residuation and Galois connections. Linguistic Analysis. Special Issue Dedicated to Jim Lambek\u00a036(1-4) (2010)"},{"issue":"1-2","key":"1_CR16","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1016\/S0304-3975(02)00024-5","volume":"281","author":"M. Okada","year":"2002","unstructured":"Okada, M.: A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. Theoretical Computer Science\u00a0281(1-2), 471\u2013498 (2002)","journal-title":"Theoretical Computer Science"},{"key":"1_CR17","unstructured":"Prawitz, D.: Natural Deduction. Dover Publications (2006)"},{"key":"#cr-split#-1_CR18.1","doi-asserted-by":"crossref","unstructured":"Smullyan, R.M.: First-Order Logic. Springer (1968)","DOI":"10.1007\/978-3-642-86718-7"},{"key":"#cr-split#-1_CR18.2","unstructured":"Revised edn. Dover Press, NY (1994)"},{"key":"1_CR19","unstructured":"Reus, B., Lafont, Y., Streichter, T.: Continuation semantics or expressing implication by negation. Technical Report 93-21. University of Munich (1993)"}],"container-title":["Lecture Notes in Computer Science","Formal Grammar"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32024-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:01:09Z","timestamp":1556920869000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32024-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642320231","9783642320248"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32024-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}