{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,12]],"date-time":"2024-09-12T05:11:07Z","timestamp":1726117867217},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2016,3,12]],"date-time":"2016-03-12T00:00:00Z","timestamp":1457740800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1007\/s11225-016-9665-0","type":"journal-article","created":{"date-parts":[[2016,3,12]],"date-time":"2016-03-12T05:24:08Z","timestamp":1457760248000},"page":"1051-1082","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["The Lambek Calculus Extended with Intuitionistic Propositional Logic"],"prefix":"10.1007","volume":"104","author":[{"given":"Michael","family":"Kaminski","sequence":"first","affiliation":[]},{"given":"Nissim","family":"Francez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,3,12]]},"reference":[{"key":"9665_CR1","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1002\/malq.19820283308","volume":"28","author":"W. Buszkowski","year":"1982","unstructured":"Buszkowski W.: Some decision problems in the theory of syntactic categories. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 28, 539\u2013548 (1982)","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"9665_CR2","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1093\/jigpal\/jzp094","volume":"19","author":"W. Buszkowski","year":"2011","unstructured":"Buszkowski W.: Interpolation and FEP for logics of residuated algebras. Logic Journal of the IGPL 19, 437\u2013454 (2011)","journal-title":"Logic Journal of the IGPL"},{"key":"9665_CR3","unstructured":"Buszkowski, W., and M. Farulewski, Nonassociative Lambek calculus with additives and context-free languages, in O. Grumberg, M. Kaminski, S. Katz, and S. Wintner (eds.), Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday, vol. 5533 of Lecture Notes in Computer Science, Springer, Heidelberg, 2009, pp. 45\u201358."},{"key":"9665_CR4","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1002\/malq.19920380113","volume":"38","author":"K. Do\u0161en","year":"1992","unstructured":"Do\u0161en K.: A brief survey of frames for the Lambek calculus. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 38, 179\u2013187 (1992)","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"9665_CR5","unstructured":"Dunn, M., A \u201cGentzen system\u201d for positive relevant implication, Journal of Synmolic Logic 38:356\u2013357, 1974 (Abstract)."},{"key":"9665_CR6","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G. Gentzen","year":"1935","unstructured":"Gentzen G.: Untersuchungen \u00fcber das logische Schliessen I. Mathematische Zeitschrift 39, 176\u2013210 (1935)","journal-title":"Mathematische Zeitschrift"},{"key":"9665_CR7","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/BF01201363","volume":"39","author":"G. Gentzen","year":"1935","unstructured":"Gentzen G.: Untersuchungen \u00fcber das logische Schliessen II. Mathematische Zeitschrift 39, 405\u2013431 (1935)","journal-title":"Mathematische Zeitschrift"},{"key":"9665_CR8","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1007\/s11225-013-9474-7","volume":"102","author":"M. Kaminski","year":"2014","unstructured":"Kaminski M., Francez N.: Relational semantics of the Lambek calculus extended with classical propositional logic. Studia Logica 102, 479\u2013497 (2014)","journal-title":"Studia Logica"},{"key":"9665_CR9","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF00171695","volume":"1","author":"M. Kanazawa","year":"1992","unstructured":"Kanazawa M.: The Lambek calculus enriched with additional connectives. Journal of Logic, Language, and Information 1, 141\u2013171 (1992)","journal-title":"Journal of Logic, Language, and Information"},{"key":"9665_CR10","unstructured":"Kleene, S. C., Introduction to Metamathematics, North-Holland, Amsterdam, 1962."},{"key":"9665_CR11","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/s11225-009-9172-7","volume":"91","author":"M. Kozak","year":"2009","unstructured":"Kozak M.: Distributive full Lambek calculus has the finite model property. Studia Logica 91, 201\u2013216 (2009)","journal-title":"Studia Logica"},{"key":"9665_CR12","doi-asserted-by":"crossref","unstructured":"Kripke, S., Semantical analysis of intuitionistic logic I, in J. Crossley and M. Dummett (eds.), Formal Systems and Recursive Function, Series in Logic and Foundations of Mathematics, North Holland, Amsterdam, 1965, pp. 92\u2013130.","DOI":"10.1016\/S0049-237X(08)71685-9"},{"key":"9665_CR13","unstructured":"Kurtonina, N., and M. Moortgat, Relational semantics for the Lambek\u2013Grishin calculus, in C. Ebert, G. J\u00e4ger, and J. Michaelis (eds.), The Mathematics of Language, 10th and 11th Biennial Conference, MOL 10 and MOL 11, vol. 6149 of Lecture Notes in Computer Science, Springer, Heidelberg, 2009, pp. 210\u2013222."},{"key":"9665_CR14","doi-asserted-by":"crossref","unstructured":"Lambek, J., The mathematics of sentence structure, American Mathematical Monthly 65:154\u2013170, 1958. (Also in W. Buszkowski, W. Marciszewski, and J. van Benthem (eds.) Categorial Grammars, John Benjamins, Amsterdam, 1988.)","DOI":"10.1080\/00029890.1958.11989160"},{"key":"9665_CR15","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1007\/BF01084083","volume":"6","author":"G. E. Mints","year":"1976","unstructured":"Mints G.E.: Cut-elimination theorem in relevant logics. Journal of Soviet Mathematics 6, 422\u2013428 (1976)","journal-title":"Journal of Soviet Mathematics"},{"key":"9665_CR16","doi-asserted-by":"crossref","unstructured":"O\u2019Hearn, P. W., and D. J. Pym, The logic of bunched implications, Bulletin of Symbolic Logic 5:215\u2013244, 1999.","DOI":"10.2307\/421090"},{"key":"9665_CR17","doi-asserted-by":"crossref","unstructured":"Pym, D. J., The Semantics and Proof Theory of the Logic of Bunched Implications, vol. 26 of Applied Logic Series, Springer, Heidelberg, 2002.","DOI":"10.1007\/978-94-017-0091-7"},{"key":"9665_CR18","unstructured":"Restall, G., On Logics Without Contraction, PhD Thesis, The University of Queensland, 1994."},{"key":"9665_CR19","unstructured":"Segerberg, K., An Essay in Classical Modal Logic, Uppsala: Filosofiska Studier 13, 1971."},{"key":"9665_CR20","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1093\/jigpal\/jzm012","volume":"15","author":"R.H. Thomason","year":"2007","unstructured":"Thomason R.H.: On the strong semantical completeness of the intuitionistic predicate calculus. Logic Journal of the IGPL 15, 271\u2013286 (2007)","journal-title":"Logic Journal of the IGPL"},{"key":"9665_CR21","doi-asserted-by":"crossref","unstructured":"Troelstra, A. S., and H. Schwichtenberg, Basic Proof Theory, Cambridge University Press, Cambridge, 2000.","DOI":"10.1017\/CBO9781139168717"},{"key":"9665_CR22","doi-asserted-by":"crossref","unstructured":"Zimmermann, E., Full Lambek calculus in natural deduction, Mathematical Logic Quarterly 56:85\u201388, 2010.","DOI":"10.1002\/malq.200810042"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9665-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-016-9665-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9665-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,5]],"date-time":"2019-09-05T09:46:09Z","timestamp":1567676769000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-016-9665-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,12]]},"references-count":22,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2016,10]]}},"alternative-id":["9665"],"URL":"https:\/\/doi.org\/10.1007\/s11225-016-9665-0","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,3,12]]}}}