{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T20:33:18Z","timestamp":1773433998733,"version":"3.50.1"},"reference-count":27,"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>Models for the Lambek calculus of syntactic categories surveyed here are based on frames that are in principle of the same type as Kripke frames for intuitionistic logic. These models are extracted from the literature on models for relevant logics, in particular the ternary relationed models introduced in the early seventies. The purpose of this brief survey is to locate some open completeness problems for variants of the Lambek calculus in the context of completeness results based on various types of ternary relational models.<\/jats:p>","DOI":"10.1002\/malq.19920380113","type":"journal-article","created":{"date-parts":[[2007,5,29]],"date-time":"2007-05-29T05:45:09Z","timestamp":1180417509000},"page":"179-187","source":"Crossref","is-referenced-by-count":51,"title":["A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS"],"prefix":"10.1002","volume":"38","author":[{"given":"Kosta","family":"Do\u0161en","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0609-2_15"},{"key":"e_1_2_1_3_2","first-page":"331","volume-title":"Logic Colloquium 1987","author":"van Benthem J.","year":"1989"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00250539"},{"key":"e_1_2_1_5_2","volume-title":"Lattice Theory","author":"Birkhoff G.","year":"1967"},{"key":"e_1_2_1_6_2","volume-title":"Residuation Theory","author":"Blyth T. S.","year":"1972"},{"key":"e_1_2_1_7_2","first-page":"13","article-title":"Completeness results for the Lambek syntactic calculus","volume":"32","author":"Buszkowski W.","year":"1986","journal-title":"This Zeitschrift"},{"key":"e_1_2_1_8_2","first-page":"235","article-title":"A completeness theorem for the Lambek calculus of syntactic categories","volume":"31","author":"Do\u0161en K.","year":"1985","journal-title":"This Zeitschrift"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00671566"},{"key":"e_1_2_1_9_3","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370633"},{"key":"e_1_2_1_9_4","first-page":"614","volume":"49","year":"1990","journal-title":"Studia Logica"},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-5203-4_3"},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00257480"},{"key":"e_1_2_1_12_2","volume-title":"Partially Ordered Algebraic Systems","author":"Fuchs L.","year":"1963"},{"key":"e_1_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00293447"},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.2307\/2310058"},{"key":"e_1_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1090\/psapm\/012\/9972"},{"key":"e_1_2_1_16_2","first-page":"18","article-title":"A semantics for the calculus E of entailment","volume":"2","author":"Maksimova L. L.","year":"1973","journal-title":"Bull. Section of Logic"},{"key":"e_1_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.2307\/2273798"},{"key":"e_1_2_1_18_2","unstructured":"Ono H. Algebraic aspects of logics without structural rules. Mal'cev Conference Novosibirsk1989(preprint)."},{"key":"e_1_2_1_19_2","first-page":"2","article-title":"Relational interpretation of modal logics","volume":"17","author":"Or\u0142owska E.","year":"1988","journal-title":"Bull. Section of Logic"},{"key":"e_1_2_1_20_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00649991"},{"key":"e_1_2_1_21_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00650498"},{"key":"e_1_2_1_22_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71541-6"},{"key":"e_1_2_1_23_2","first-page":"261","volume-title":"Logic Colloquium 1988","author":"Sambin G.","year":"1989"},{"key":"e_1_2_1_24_2","doi-asserted-by":"publisher","DOI":"10.1090\/pspum\/025\/0363802"},{"key":"e_1_2_1_25_2","doi-asserted-by":"publisher","DOI":"10.2307\/2272559"},{"key":"e_1_2_1_26_2","first-page":"111","article-title":"An interpretation of many\u2010valued logic","volume":"19","author":"Urquhart A.","year":"1973","journal-title":"This Zeitschrift"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19920380113","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19920380113","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,27]],"date-time":"2023-09-27T20:35:49Z","timestamp":1695846949000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19920380113"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,1]]},"references-count":27,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1992,1]]}},"alternative-id":["10.1002\/malq.19920380113"],"URL":"https:\/\/doi.org\/10.1002\/malq.19920380113","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]]}}}