{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T00:48:29Z","timestamp":1767142109080,"version":"build-2238731810"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,7,28]],"date-time":"2020-07-28T00:00:00Z","timestamp":1595894400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,7,28]],"date-time":"2020-07-28T00:00:00Z","timestamp":1595894400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001824","name":"Grantov\u00e1 Agentura Cesk\u00e1 Republiky","doi-asserted-by":"publisher","award":["GJ18-19162Y"],"award-info":[{"award-number":["GJ18-19162Y"]}],"id":[{"id":"10.13039\/501100001824","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2021,6]]},"DOI":"10.1007\/s11225-020-09913-2","type":"journal-article","created":{"date-parts":[[2020,7,28]],"date-time":"2020-07-28T14:04:05Z","timestamp":1595945045000},"page":"447-470","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Lambek Calculus with Conjugates"],"prefix":"10.1007","volume":"109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1942-7982","authenticated-orcid":false,"given":"Igor","family":"Sedl\u00e1r","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2303-003X","authenticated-orcid":false,"given":"Andrew","family":"Tedder","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,7,28]]},"reference":[{"key":"9913_CR1","unstructured":"Barwise, J., Constraints, Channels, and the Flow of Information, in P. Aczel, D. Israel, Y. Katagiri, and S. Peters (eds.), Situation Theory and Its Applications 3, CLSI Publications, 1993, pp. 3\u201327."},{"key":"9913_CR2","unstructured":"Barwise, J., and J. Perry, Situations and Attitudes. MIT Press, 1983."},{"key":"9913_CR3","doi-asserted-by":"crossref","unstructured":"Beall, Jc, R. Brady, J. M. Dunn, A. P. Hazen, E. Mares, R. K. Meyer, G. Priest, G. Restall, D. Ripley, J. Slaney, and R. Sylvan, On the Ternary Relation and Conditionality. Journal of Philosophical Logic 41:595\u2013612, 2012.","DOI":"10.1007\/s10992-011-9191-5"},{"key":"9913_CR4","doi-asserted-by":"crossref","unstructured":"Bimb\u00f3, K., Combinatory Logic: Pure, Applied and Typed CRC Press, Boca Raton, FL, 2012.","DOI":"10.1201\/b11046"},{"key":"9913_CR5","unstructured":"Bimb\u00f3, K., and J. M. Dunn, Generalized Galois Logics: Relational Semantics for Non-Classical Logical Calculi. CSLI Publications, 2008."},{"key":"9913_CR6","doi-asserted-by":"crossref","unstructured":"Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge Tracts in Theoretical Computer Science number 53, Cambridge, 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"9913_CR7","doi-asserted-by":"crossref","unstructured":"Brzozowski, J. A., Derivatives of regular expressions. Journal of the ACM 11:481\u2013494, 1964.","DOI":"10.1145\/321239.321249"},{"key":"9913_CR8","unstructured":"Buszkowski, W., Categories of partial functors. Lingua Posnaniensis 24:63\u201370, 1981."},{"key":"9913_CR9","doi-asserted-by":"crossref","unstructured":"Buszkowski, W., Completeness Results for Lambek Syntactic Calculus. Zeitschrift f\u00fcr Mathematische Logic und Grundlagen der Mathematik 32:13\u201328, 1986.","DOI":"10.1002\/malq.19860320104"},{"key":"9913_CR10","doi-asserted-by":"crossref","unstructured":"Buszkowski, W., Categorial grammars with negative information, in H. Wansing (ed.), Negation. A Notion in Focus, Walter de Gruyter, Berlin and New York, 1996, pp. 107\u2013126.","DOI":"10.1515\/9783110876802.107"},{"key":"9913_CR11","doi-asserted-by":"crossref","unstructured":"Buszkowski, W., and M. Farulewski, Nonassociative Lambek Calculs with Additives and Context-Free Languages, in O. Grumberg, M. Kaminski, S. Katz, and S. Wintner (eds.), Languages: From Formal to Natural. Lecture Notes in Computer Science v. 5533, 2009, pp. 45\u201358.","DOI":"10.1007\/978-3-642-01748-3_4"},{"key":"9913_CR12","doi-asserted-by":"crossref","unstructured":"Do\u0161en, K., A Brief Survey of Frames for the Lambek Calculus. Mathematical Logic Quarterly 38(1):179\u2013187, 1992.","DOI":"10.1002\/malq.19920380113"},{"key":"9913_CR13","doi-asserted-by":"crossref","unstructured":"Dunn, J. M., Positive Modal Logic. Studia Logica 55(2):301\u2013317, 1995.","DOI":"10.1007\/BF01061239"},{"key":"9913_CR14","doi-asserted-by":"crossref","unstructured":"Dunn, J. M., and R. K. Meyer, Combinators and Structurally Free Logic Logic Journal of the IGPL 5(4):505\u2013537, 1997.","DOI":"10.1093\/jigpal\/5.4.505"},{"key":"9913_CR15","doi-asserted-by":"crossref","unstructured":"Fine, K., Models for Entailment. Journal of Philosophical Logic 3:347\u2013372, 1974.","DOI":"10.1007\/BF00257480"},{"key":"9913_CR16","unstructured":"Galatos, N., P. Jipsen, T. Kowalski, and H. Ono, Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier, 2007."},{"key":"9913_CR17","doi-asserted-by":"crossref","unstructured":"Ginsburg, S., and E. H. Spanier, Quotients of Context-Free Languages. Journal of the ACM 10(4):487\u2013492, 1963.","DOI":"10.1145\/321186.321191"},{"key":"9913_CR18","unstructured":"Goranko, V., and A. Galton, Temporal Logic, in E. N. Zalta (ed.), The Stanford Encyclopedia of Philosophy, 2015. https:\/\/plato.stanford.edu\/archives\/win2015\/entries\/logic-temporal."},{"key":"9913_CR19","unstructured":"Hopcroft, J. E., and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation. Addison-Wesley Publishing, 1979."},{"key":"9913_CR20","doi-asserted-by":"crossref","unstructured":"J\u00f3nsson, B., and A. Tarski, Boolean Algebras with Operators, Part I. American Journal of Mathematics 73(4):891\u2013939, 1951.","DOI":"10.2307\/2372123"},{"key":"9913_CR21","doi-asserted-by":"crossref","unstructured":"J\u00f3nsson, B., and C. Tsinakis, Relation Algebras as Residuated Boolean Algebras. Algebra Universalis 30(4):469\u2013478, 1993.","DOI":"10.1007\/BF01195378"},{"key":"9913_CR22","doi-asserted-by":"crossref","unstructured":"Kaminski, M., and N. Francez, Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic. Studia Logica 102:479\u2013497, 2014.","DOI":"10.1007\/s11225-013-9474-7"},{"key":"9913_CR23","doi-asserted-by":"crossref","unstructured":"Kanazawa, M., The Lambek Calculus Enriched with Additional Connectives. Journal of Logic, Language, and Information 1(2):141\u2013171, 1992.","DOI":"10.1007\/BF00171695"},{"key":"9913_CR24","doi-asserted-by":"publisher","unstructured":"Kerr, A. D., A plea for KR, Synthese, 2019. Online Access: https:\/\/doi.org\/10.1007\/s11229-019-02265-y.","DOI":"10.1007\/s11229-019-02265-y"},{"key":"9913_CR25","doi-asserted-by":"crossref","unstructured":"Kikot, S., A. Kurucz, Y. Tanaka, F. Wolter, and M. Zakharyashev, Kripke Completeness of Strictly Positive Modal Logics over Meet-Semilattices with Operators. The Journal of Symbolic Logic 84(2):533\u2013588, 2019.","DOI":"10.1017\/jsl.2019.22"},{"key":"9913_CR26","unstructured":"Kurtonina, N., Frames and Labels. A Modal Analysis of Categorial Inference. PhD Thesis. Utrecht University, 1994."},{"key":"9913_CR27","doi-asserted-by":"crossref","unstructured":"Lambek, J., The Mathematics of Sentence Structure. American Mathematical Monthly 65(3):154\u2013170, 1958.","DOI":"10.1080\/00029890.1958.11989160"},{"key":"9913_CR28","doi-asserted-by":"crossref","unstructured":"Lambek, J., On the Calculus of Syntactic Types, in R. Jackobson (ed.), Structure of Langugae and Its Mathematical Aspects, AMS, Providence, 1961, pp. 166\u2013178.","DOI":"10.1090\/psapm\/012\/9972"},{"key":"9913_CR29","unstructured":"Maddux, R. D., Relation Algebras. Elsevier, 2006."},{"key":"9913_CR30","doi-asserted-by":"crossref","unstructured":"Maksimova, L. L., Struktury s impikatsiei (Structures with Implication). Algebra i Logika 12(4):445\u2013467, 1973.","DOI":"10.1007\/BF02218573"},{"key":"9913_CR31","doi-asserted-by":"crossref","unstructured":"Mares, E., Relevant Logic: A Philosophical Interpretation. Cambridge University Press, 2004.","DOI":"10.1017\/CBO9780511520006"},{"key":"9913_CR32","unstructured":"Mikul\u00e1s, S., Complete Calculus for Conjugated Arrow Logic, in M. Marx, L. P\u00f3los, and M. Mosuch (eds.), Arrow Logic and Multi-Modal Logic, CSLI Publication, Chapter 6, 1996."},{"key":"9913_CR33","doi-asserted-by":"crossref","unstructured":"Priest, G., and R. Sylvan, Simplified Semantics for Basic Relevant Logics, Journal of Philosophical Logic 21(2):217\u2013232, 1992.","DOI":"10.1007\/BF00248640"},{"key":"9913_CR34","unstructured":"Restall, G., Information Flow and Relevant Logics, in J. Seligman and D. Westerst\u00e5hl (eds.), Logic, Language, and Computation: 1994 Proceedings, CSLI Publications, 1995, pp. 463\u2013477."},{"key":"9913_CR35","unstructured":"Restall, G., An Introduction to Substructural Logics. Routledge, London, 2000."},{"key":"9913_CR36","doi-asserted-by":"crossref","unstructured":"Routley, R., and R. K. Meyer, Semantics of entailment, in H. Leblanc (ed.), Truth, Syntax and Modality, North Holland, 1972, pp. 194\u2013243.","DOI":"10.1016\/S0049-237X(08)71541-6"},{"key":"9913_CR37","unstructured":"Routley, R., R. K. Meyer, V. Plumwood, and R. T. Brady, Relevant Logics and Their Rivals 1. Ridgeview, 1982."},{"key":"9913_CR38","doi-asserted-by":"crossref","unstructured":"Urquhart, A., Semantics for Relevant Logics. The Journal of Symbolic Logic 37(1):159\u2013169, 1972.","DOI":"10.2307\/2272559"},{"key":"9913_CR39","doi-asserted-by":"crossref","unstructured":"Urquhart, A., The Undecidability of Entailment and Relevant Implication. The Journal of Symbolic Logic 49(4):1059\u20131073, 1984.","DOI":"10.2307\/2274261"},{"key":"9913_CR40","unstructured":"van Benthem, J., Language in Action. MIT Press, 1995."},{"key":"9913_CR41","doi-asserted-by":"crossref","unstructured":"Wansing, H., A Note on Negation in Categorial Grammar. Logic Journal of the IGPL 15:271\u2013286, 2007.","DOI":"10.1093\/jigpal\/jzm012"}],"updated-by":[{"DOI":"10.1007\/s11225-020-09927-w","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2020,10,17]],"date-time":"2020-10-17T00:00:00Z","timestamp":1602892800000}}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09913-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-020-09913-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09913-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,30]],"date-time":"2021-07-30T16:41:17Z","timestamp":1627663277000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-020-09913-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,28]]},"references-count":41,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["9913"],"URL":"https:\/\/doi.org\/10.1007\/s11225-020-09913-2","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,7,28]]},"assertion":[{"value":"18 November 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 July 2020","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 October 2020","order":3,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Correction","order":4,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"A Correction to this paper has been published:","order":5,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"https:\/\/doi.org\/10.1007\/s11225-020-09927-w","URL":"https:\/\/doi.org\/10.1007\/s11225-020-09927-w","order":6,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}}]}}