{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:21:23Z","timestamp":1740122483006,"version":"3.37.3"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2023,1,13]],"date-time":"2023-01-13T00:00:00Z","timestamp":1673568000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,13]],"date-time":"2023-01-13T00:00:00Z","timestamp":1673568000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2023,8]]},"DOI":"10.1007\/s10849-022-09392-9","type":"journal-article","created":{"date-parts":[[2023,1,13]],"date-time":"2023-01-13T14:08:32Z","timestamp":1673618912000},"page":"489-510","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Complexity of the Universal Theory of Residuated Ordered Groupoids"],"prefix":"10.1007","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0559-1503","authenticated-orcid":false,"given":"Dmitry","family":"Shkatov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7865-4886","authenticated-orcid":false,"given":"C. J.","family":"Van Alten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,1,13]]},"reference":[{"key":"9392_CR1","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1002\/malq.19950410405","volume":"41","author":"E Aarts","year":"1995","unstructured":"Aarts, E., & Trautwein, K. (1995). Non-associative Lambek categorial grammar in polynomial time. Mathematical Logic Quarterly, 41, 476\u2013484.","journal-title":"Mathematical Logic Quarterly"},{"key":"9392_CR2","first-page":"1","volume-title":"Logic: From foundations to applications","author":"A Avron","year":"1996","unstructured":"Avron, A. (1996). The method of hypersequents in the proof theory of propositional non-classical logics. In M. Hyland, C. Steinhorn, C. Steinhorn, & W. Hodges (Eds.), Logic: From foundations to applications (pp. 1\u201332). Clarendon Press."},{"issue":"1","key":"9392_CR3","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1017\/jsl.2015.54","volume":"81","author":"G Bezhanishvili","year":"2016","unstructured":"Bezhanishvili, G., Bezhanishvili, N., & Iemhoff, R. (2016). Stable canonical rules. The Journal of Symbolic Logic, 81(1), 284\u2013315.","journal-title":"The Journal of Symbolic Logic"},{"issue":"3","key":"9392_CR4","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/s000120200000","volume":"48","author":"WJ Blok","year":"2002","unstructured":"Blok, W. J., & Van Alten, C. J. (2002). The finite embeddability property for residuated lattices, pocrims and BCK-algebras. Algebra Universalis, 48(3), 253\u2013271.","journal-title":"Algebra Universalis"},{"issue":"10","key":"9392_CR5","doi-asserted-by":"publisher","first-page":"4141","DOI":"10.1090\/S0002-9947-04-03654-2","volume":"357","author":"WJ Blok","year":"2005","unstructured":"Blok, W. J., & Van Alten, C. J. (2005). On the finite embeddability property for residuated ordered groupoids. Transactions of AMS, 357(10), 4141\u20134157.","journal-title":"Transactions of AMS"},{"key":"9392_CR6","volume-title":"Residuation theory","author":"TS Blyth","year":"1972","unstructured":"Blyth, T. S., & Janowitz, M. F. (1972). Residuation theory. Pergamon Press."},{"key":"9392_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11225-009-9205-2","volume":"93","author":"M Buli\u0144ska","year":"2009","unstructured":"Buli\u0144ska, M. (2009). On the complexity of nonassociative Lambek calculus with unit. Studia Logica, 93, 1\u201314.","journal-title":"Studia Logica"},{"key":"9392_CR8","volume-title":"Logical foundations of Ajdukiewicz and Lambek categorical grammars","author":"W Buszkowski","year":"1989","unstructured":"Buszkowski, W. (1989). Logical foundations of Ajdukiewicz and Lambek categorical grammars. Polish Scientific Publishers (in Polish)."},{"key":"9392_CR9","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0304-3975(97)00266-1","volume":"199","author":"W Buszkowski","year":"1998","unstructured":"Buszkowski, W. (1998). Algebraic structures in categorial grammar. Theoretical Computer Science, 199, 5\u201324.","journal-title":"Theoretical Computer Science"},{"key":"9392_CR10","unstructured":"Buszkowski, W. (2005). Lambek calculus with nonlogical axioms. In: Casadio, C., Scott, P. J., & Seely, R. A (Eds), Language and Grammar: Studies in Mathematical Linguistics and Natural Language, CSLI Lecture Notes, vol 168, Center for the Study of Language and Information (pp. 77\u201394)."},{"issue":"3","key":"9392_CR11","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1093\/jigpal\/jzp094","volume":"19","author":"W Buszkowski","year":"2011","unstructured":"Buszkowski, W. (2011). Interpolation and FEP for logics of residuated algebras. Logic Journal of the IGPL, 19(3), 437\u2013454.","journal-title":"Logic Journal of the IGPL"},{"key":"9392_CR12","volume-title":"Model theory","author":"CC Chang","year":"1990","unstructured":"Chang, C. C., & Keisler, H. J. (1990). Model theory (3rd ed., Vol. 73). North Holland, New York: Studies in Logic and the Foundations of Mathematics.","edition":"3"},{"key":"9392_CR13","doi-asserted-by":"crossref","unstructured":"Cook, S. (1971). The complexity of theorem proving procedures. In Proceedings of the third annual ACM symposium on theory of computing (pp. 151\u2013158).","DOI":"10.1145\/800157.805047"},{"key":"9392_CR14","first-page":"72","volume-title":"Substructural logics, studies in logic and computation","author":"JM Dunn","year":"1993","unstructured":"Dunn, J. M. (1993). Partial gaggles applied to logics with restricted structural rules. In P. Schroeder-Heister & K. Do\u0161en (Eds.), Substructural logics, studies in logic and computation (Vol. 2, pp. 72\u2013108). Clarendon Press."},{"key":"9392_CR15","first-page":"25","volume":"43","author":"M Farulewski","year":"2008","unstructured":"Farulewski, M. (2008). Finite embeddability property for residuated groupoids. Reports on Mathematical Logic, 43, 25\u201342.","journal-title":"Reports on Mathematical Logic"},{"key":"9392_CR16","volume-title":"Partially ordered algebraic systems","author":"L Fuchs","year":"1963","unstructured":"Fuchs, L. (1963). Partially ordered algebraic systems. Addison-Wesley."},{"issue":"6","key":"9392_CR17","doi-asserted-by":"publisher","first-page":"697","DOI":"10.1007\/s10992-015-9354-x","volume":"44","author":"R Iemhoff","year":"2015","unstructured":"Iemhoff, R. (2015). On rules. Journal of Philosophical Logic, 44(6), 697\u2013711.","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"9392_CR18","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/s10992-015-9380-8","volume":"45","author":"R Iemhoff","year":"2016","unstructured":"Iemhoff, R. (2016). Consequence relations and admissible rules. Journal of Philosophical Logic, 45(3), 327\u2013348.","journal-title":"Journal of Philosophical Logic"},{"key":"9392_CR19","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1023\/A:1026175817625","volume":"13","author":"G J\u00e4ger","year":"2004","unstructured":"J\u00e4ger, G. (2004). Residuation, structural rules and context freeness. Journal of Logic, Language and Information, 13, 47\u201359.","journal-title":"Journal of Logic, Language and Information"},{"issue":"7","key":"9392_CR20","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2021.102972","volume":"172","author":"R Jalali","year":"2021","unstructured":"Jalali, R. (2021). Proof complexity of substructural logics. Annals of Pure and Applied Logic, 172(7), 102972.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"4","key":"9392_CR21","doi-asserted-by":"publisher","first-page":"1171","DOI":"10.2178\/jsl\/1254748686","volume":"74","author":"E Je\u0159\u00e1bek","year":"2009","unstructured":"Je\u0159\u00e1bek, E. (2009). Canonical rules. The Journal of Symbolic Logic, 74(4), 1171\u20131205.","journal-title":"The Journal of Symbolic Logic"},{"issue":"2","key":"9392_CR22","doi-asserted-by":"publisher","first-page":"169","DOI":"10.3233\/FI-1997-30204","volume":"30","author":"M Kandulski","year":"1997","unstructured":"Kandulski, M. (1997). On generalized Ajdukiewicz and Lambek calculi and grammars. Fundamenta Informaticae, 30(2), 169\u2013181.","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"9392_CR23","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1002\/malq.19970430108","volume":"43","author":"M Ko\u0142owska-Gawiejnowicz","year":"1997","unstructured":"Ko\u0142owska-Gawiejnowicz, M. (1997). Powerset residuated algebras and generalized Lambek calculus. Mathematical Logic Quarterly, 43(1), 60\u201372.","journal-title":"Mathematical Logic Quarterly"},{"key":"9392_CR24","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1080\/00029890.1958.11989160","volume":"65","author":"J Lambek","year":"1958","unstructured":"Lambek, J. (1958). The mathematics of sentence structure. American Mathematical Monthly, 65, 154\u2013170.","journal-title":"American Mathematical Monthly"},{"key":"9392_CR25","doi-asserted-by":"crossref","unstructured":"Lambek, J. (1961). On the calculus of syntactic types. In: Jacobson, R. (Ed.), Structure of language and its mathematical aspects, proceedings of symposia in applied mathematics (Vol. XII). American Mathematical Society.","DOI":"10.1090\/psapm\/012\/9972"},{"key":"9392_CR26","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/j.tcs.2016.10.004","volume":"656","author":"B Lellmann","year":"2016","unstructured":"Lellmann, B. (2016). Hypersequent rules with restricted contexts for propositional modal logics. Theoretical Computer Science, 656, 76\u2013105.","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"9392_CR27","doi-asserted-by":"publisher","first-page":"979","DOI":"10.2307\/2586685","volume":"65","author":"G Sambin","year":"2000","unstructured":"Sambin, G., Battilotti, G., & Faggian, C. (2000). Basic logic: Reflection, symmetry, visibility. The Journal of Symbolic Logic, 65(3), 979\u20131013.","journal-title":"The Journal of Symbolic Logic"},{"issue":"3","key":"9392_CR28","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/s00012-019-0609-1","volume":"80","author":"D Shkatov","year":"2019","unstructured":"Shkatov, D., & Van Alten, C. J. (2019). Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids. Algebra Universalis, 80(3), 36.","journal-title":"Algebra Universalis"},{"issue":"2","key":"9392_CR29","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/s11225-018-09842-1","volume":"108","author":"D Shkatov","year":"2020","unstructured":"Shkatov, D., & Van Alten, C. J. (2020). Complexity of the universal theory of modal algebras. Studia Logica, 108(2), 221\u2013237.","journal-title":"Studia Logica"},{"issue":"7","key":"9392_CR30","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2021.102962","volume":"172","author":"D Shkatov","year":"2021","unstructured":"Shkatov, D., & Van Alten, C. J. (2021). Computational complexity for bounded distributive lattices with negation. Annals of Pure and Applied Logic, 172(7), 102962.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9392_CR31","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1016\/j.tcs.2013.05.012","volume":"501","author":"CJ Van Alten","year":"2013","unstructured":"Van Alten, C. J. (2013). Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras. Theoretical Computer Science, 501, 82\u201392.","journal-title":"Theoretical Computer Science"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-022-09392-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10849-022-09392-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-022-09392-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,3]],"date-time":"2023-07-03T10:12:44Z","timestamp":1688379164000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10849-022-09392-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,13]]},"references-count":31,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2023,8]]}},"alternative-id":["9392"],"URL":"https:\/\/doi.org\/10.1007\/s10849-022-09392-9","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[2023,1,13]]},"assertion":[{"value":"19 December 2022","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 January 2023","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}