{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T15:24:06Z","timestamp":1780068246428,"version":"3.54.0"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Lang Inf"],"published-print":{"date-parts":[[1994,1]]},"DOI":"10.1007\/bf01066355","type":"journal-article","created":{"date-parts":[[2005,1,29]],"date-time":"2005-01-29T17:25:53Z","timestamp":1107019553000},"page":"1-37","source":"Crossref","is-referenced-by-count":53,"title":["Lambek Calculus and its relational semantics: Completeness and incompleteness"],"prefix":"10.1007","volume":"3","author":[{"given":"Hajnal","family":"Andr\ufffdka","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Szabolcs","family":"Mikul\ufffds","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Andr\u00e9ka, H., 1988, ?On the representation problem of distributive semilattice-ordered semigroups?, Mathematical Institute of the Hungarian Academy of Sciences."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/BF01190407","volume":"28","author":"H. Andr\u00e9ka","year":"1991","unstructured":"Andr\u00e9ka, H., 1991, ?Representations of distributive lattice-ordered semigroups with binary relations?,Algebra Universalis 28, 12?25.","journal-title":"Algebra Universalis"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0304-3975(91)90386-G","volume":"80","author":"H. Andr\u00e9ka","year":"1991","unstructured":"Andr\u00e9ka, H., N\u00e9meti, I., Sain, I., 1991, ?On the strength of temporal proofs?,Theoretical Computer Science 80, 125?151.","journal-title":"Theoretical Computer Science"},{"key":"CR4","first-page":"331","volume-title":"Logic Colloquium. Granada 1987","author":"J. Benthem van","year":"1989","unstructured":"van Benthem, J., 1989a, ?Semantic parallels in natural language and computation? inLogic Colloquium. Granada 1987, Ebbinghaus, H.-D.et al., (eds.), North-Holland, Amsterdam, 331?375."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF00250539","volume":"20","author":"J. Benthem van","year":"1989","unstructured":"van Benthem, J., 1989b, ?Language in action?,Journal of Philosophical Logic 20, 225?263.","journal-title":"Journal of Philosophical Logic"},{"key":"CR6","volume-title":"Language in Action","author":"J. Benthem van","year":"1991","unstructured":"van Benthem, J., 1991,Language in Action, North-Holland, Amsterdam."},{"key":"CR7","series-title":"Studies in Logic, Language and Information","volume-title":"Logic and Information Flow","author":"J. Benthem van","year":"1992","unstructured":"van Benthem, J., 1992, ?A note on dynamic arrow logic?, to appear in:Logic and Information Flow, van Eyck, J. and Visser, A., (eds.), Studies in Logic, Language and Information, Kluwer, Dordrecht."},{"issue":"1","key":"CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4064\/cm-39-1-1-12","volume":"39","author":"D. Bredihin","year":"1978","unstructured":"Bredihin, D. and Schein, B., 1978, ?Representations of ordered semigroups and lattices by binary relations?,Colloquium Mathematicum 39, 1, 1?12.","journal-title":"Colloquium Mathematicum"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Brown, C. and Gurr, D., 1991, ?Relations and non-commutative linear logic?, University of Aarhus, Technical Report DAIMI PB-372.","DOI":"10.7146\/dpb.v20i372.6604"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1002\/malq.19860320104","volume":"32","author":"W. Buszkowski","year":"1986","unstructured":"Buszkowski, W., 1986, ?Completeness results for Lambek syntactic calculus?,Zeitschr. f. math. Logik und Grundlagen d. Math. 32, 13?28.","journal-title":"Zeitschr. f. math. Logik und Grundlagen d. Math."},{"key":"CR11","first-page":"179","volume":"38","author":"K. Do?en","year":"1990","unstructured":"Do?en, K., 1990, ?A brief survey of frames for the Lambek calculus?,Zeitschr. f. math. Logik und Grundlagen d. Math. 38, 179?187.","journal-title":"Zeitschr. f. math. Logik und Grundlagen d. Math."},{"key":"CR12","unstructured":"Gabbay, D.M., 1992, ?Free semigroup frame semantics for the Lambek calculus and concatenation Logic?, submitted."},{"key":"CR13","volume-title":"Lecture Notes vol. 7","author":"R. Goldblatt","year":"1987","unstructured":"Goldblatt, R., 1987,Logics of Time and Computation, CSLI (Stanford), Lecture Notes vol. 7."},{"key":"CR14","volume-title":"Cylindric Algebras, Part II","author":"L. Henkin","year":"1985","unstructured":"Henkin, L., Monk, J. D. and Tarski, A., 1985,Cylindric Algebras, Part II, North-Holland, Amsterdam."},{"key":"CR15","volume-title":"Some results about r-algebras","author":"P. Jipsen","year":"1992","unstructured":"Jipsen, P., 1992, ?Some results about r-algebras?, manuscript, Vanderbilt University, Nashville, TN."},{"key":"CR16","volume-title":"Adjoining units to residuated Boolean algebras","author":"P. Jipsen","year":"1992","unstructured":"Jipsen, P., J\u00f3nsson, B. and Rafter, J., 1992, ?Adjoining units to residuated Boolean algebras?, manuscript, Vanderbilt University, Nashville, TN."},{"key":"CR17","volume-title":"Relation algebras as residuated Boolean algebras","author":"B. J\u00f3nsson","year":"1992","unstructured":"J\u00f3nsson, B. and Tsinakis, C., 1992, ?Relation algebras as residuated Boolean algebras?, manuscript, Vanderbilt University, Nashville, TN."},{"key":"CR18","doi-asserted-by":"crossref","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?170.","journal-title":"American Mathematical Monthly"},{"key":"CR19","unstructured":"Marx, M., 1992, ?Dynamic arrow logic with pairs?, inLogic at Work, Volume of Conference, Amsterdam."},{"key":"CR20","unstructured":"Marx, M., Mikul\u00e1s, Sz., N\u00e9meti, I. and Sain, I., 1992, ?Investigations in arrow logic?, inLogic at Work, Volume of Conference, Amsterdam."},{"key":"CR21","unstructured":"Mikul\u00e1s, Sz., 1991, ?The completeness of the Lambek calculus w.r.t. relational semantics?, Lecture in the Banach Centre, Warsaw, 17th October 1991."},{"key":"CR22","unstructured":"Mikul\u00e1s, Sz., 1992a, ?The completeness of the Lambek Calculus w.r.t. relational semantics?, Institute for Language, Logic and Information, University of Amsterdam."},{"key":"CR23","unstructured":"Mikul\u00e1s, Sz., 1992b, ?Complete calculus for conjugated arrow logic?, inLogic at Work, Volume of Conference, Amsterdam."},{"key":"CR24","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1007\/BF00370684","volume":"50","author":"I. N\u00e9meti","year":"1991","unstructured":"N\u00e9meti, I., 1991, ?Algebraizations of quantifier logics, an introductory overview?,Studia Logica 50, 485?569, updated and extended (with proofs) versions available from N\u00e9meti, I. Mathematical Institute, Budapest Pf 127, H-1364 Budapest, Hungary.","journal-title":"Studia Logica"},{"key":"CR25","unstructured":"Pentus, M., 1993, ?Lambek calculus is L-complete?, preprint, Moscow University."},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"Pratt, V.R., 1985, ?Dynamic algebra as a well-behaved fragment of relation algebras?, inAlgebraic Logic and Universal Algebra in Computer Science, Bergman, C.H.,et al., (eds.), Lecture Notes in Computer Science, Springer Verlag, 77?110.","DOI":"10.1007\/BFb0043079"},{"key":"CR27","unstructured":"Pratt, V.R., 1992, ?A roadmap of some two-dimensional logics?, inAlgebraic and Categorical Methods in Computer Science, Proc. of TEMPUS Summer School, Prague."},{"key":"CR28","first-page":"187","volume-title":"Colloquium of Modal Logic","author":"D. Roorda","year":"1991","unstructured":"Roorda, D., 1991, ?Dyadic modalities and Lambek calculus?, inColloquium of Modal Logic, de Rijke, M., (ed.), Dutch Network for Language, Logic and Information, Amsterdam, 187?210."},{"key":"CR29","doi-asserted-by":"crossref","unstructured":"Sain, I., 1991, ?Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic?,in Algebraic Logic and Universal Algebra in Computer Science, Bergman C.H.,et al., (eds.), Lecture Notes in Computer Science, Springer Verlag, 209?226.","DOI":"10.1007\/BFb0043086"},{"key":"CR30","unstructured":"Simon, A., 1992, ?Arrow logic does not have deduction theorem?, inLogic at Work, Volume of Conference, Amsterdam."},{"key":"CR31","unstructured":"Venema, Y., 1992,Many-dimensonal Modal Logic, Ph.D. Thesis, University of Amsterdam."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01066355.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01066355\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01066355","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T13:46:40Z","timestamp":1586094400000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01066355"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,1]]},"references-count":31,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994,1]]}},"alternative-id":["BF01066355"],"URL":"https:\/\/doi.org\/10.1007\/bf01066355","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,1]]}}}