{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,28]],"date-time":"2023-09-28T05:40:15Z","timestamp":1695879615947},"reference-count":7,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":5430,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1992,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Several Gentzen\u2010style (sequential) syntactic type calculi with product(s) are considered. They form a hierarchy in such a way that one calculus results from another by imposing a new condition (expressed in terms of \u201cstructural rules\u201d) upon the sequent\u2010forming operation. It turns out that, at some steps of this process, two different functors collapse to a single one. For the remaining stages of the hierarchy, analogues of Wajsbergs's theorem on non\u2010mutual\u2010definability are proved.<\/jats:p>","DOI":"10.1002\/malq.19920380145","type":"journal-article","created":{"date-parts":[[2007,5,29]],"date-time":"2007-05-29T05:51:22Z","timestamp":1180417882000},"page":"501-507","source":"Crossref","is-referenced-by-count":2,"title":["INTERDEFINABILITY OF LAMBEKIAN FUNCTORS"],"prefix":"10.1002","volume":"38","author":[{"given":"Wojciech","family":"Zielonka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Zielonka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","first-page":"231","volume-title":"Categories, Types and Semantics","author":"van Benthem J.","year":"1987"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1075\/llsee.25"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.2307\/2310058"},{"key":"e_1_2_1_5_2","volume-title":"Structures of Language and Its Mathematical Aspects","author":"Lambek J.","year":"1961"},{"key":"e_1_2_1_6_2","first-page":"45","article-title":"Untersuchungen \u00fcber den Aussagenkalk\u00fcl von A Heyting","volume":"46","author":"Wajsberg M.","year":"1938","journal-title":"Wiadomo\u015bci Matematyczne"},{"key":"e_1_2_1_7_2","first-page":"135","article-title":"Cut\u2010rule axiomatization of product\u2010free Lambek calculus with the empty string","volume":"34","author":"Zielonka W.","year":"1988","journal-title":"This Zeitschrift"},{"key":"e_1_2_1_8_2","unstructured":"Zielonka W. Linear axiomatics of commutative product\u2010free Lambek calculus. Studia Logica (to appear)."}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19920380145","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19920380145","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,27]],"date-time":"2023-09-27T20:35:28Z","timestamp":1695846928000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19920380145"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,1]]},"references-count":7,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1992,1]]}},"alternative-id":["10.1002\/malq.19920380145"],"URL":"https:\/\/doi.org\/10.1002\/malq.19920380145","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,1]]}}}