@article{ dblp3762374,
  title = {Relational Semantics and a Relational Proof System for Full Lambek Calculus},
  author = {Wendy MacCaull},
  author_short = {MacCaull, W.},
  bibtype = {article},
  type = {article},
  year = {1998},
  key = {dblp3762374},
  id = {dblp3762374},
  biburl = {http://www.dblp.org/rec/bibtex/journals/jsyml/MacCaull98},
  url = {http://dx.doi.org/10.2307/2586855},
  journal = {J. Symb. Log. (JSYML)},
  pages = {623-637},
  number = {2},
  volume = {63},
  text = {J. Symb. Log. (JSYML) 63(2):623-637 (1998)}
}

{"_id":{"_str":"5254344e22ea65a142000460"},"__v":2,"authorIDs":[],"author_short":["MacCaull, W."],"bibbaseid":"maccaull-relationalsemanticsandarelationalproofsystemforfulllambekcalculus-1998","bibdata":{"downloads":0,"urls":{"Paper":"http://dx.doi.org/10.2307/2586855"},"role":"author","bibbaseid":"maccaull-relationalsemanticsandarelationalproofsystemforfulllambekcalculus-1998","bibtex":"@article{ dblp3762374,\n title = {Relational Semantics and a Relational Proof System for Full Lambek Calculus},\n author = {Wendy MacCaull},\n author_short = {MacCaull, W.},\n bibtype = {article},\n type = {article},\n year = {1998},\n key = {dblp3762374},\n id = {dblp3762374},\n biburl = {http://www.dblp.org/rec/bibtex/journals/jsyml/MacCaull98},\n url = {http://dx.doi.org/10.2307/2586855},\n journal = {J. Symb. Log. (JSYML)},\n pages = {623-637},\n number = {2},\n volume = {63},\n text = {J. Symb. Log. (JSYML) 63(2):623-637 (1998)}\n}","text":"J. Symb. Log. (JSYML) 63(2):623-637 (1998)","volume":"63","number":"2","pages":"623-637","journal":"J. Symb. Log. (JSYML)","url":"http://dx.doi.org/10.2307/2586855","biburl":"http://www.dblp.org/rec/bibtex/journals/jsyml/MacCaull98","id":"dblp3762374","key":"dblp3762374","year":"1998","type":"article","bibtype":"article","author_short":["MacCaull, W."],"author":["Wendy MacCaull"],"title":"Relational Semantics and a Relational Proof System for Full Lambek Calculus"},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/jsyml/MacCaull98","downloads":0,"keywords":[],"search_terms":["relational","semantics","relational","proof","system","full","lambek","calculus","maccaull"],"title":"Relational Semantics and a Relational Proof System for Full Lambek Calculus","year":1998,"dataSources":["t4WEYpTomafMfT2SN"]}