@article{ dblp3599580,
  title = {A Kripke Semantics for the Logic of Gelfand Quantales},
  author = {Gerard Allwein and Wendy MacCaull},
  author_short = {Allwein, G. and MacCaull, W.},
  bibtype = {article},
  type = {article},
  year = {2001},
  key = {dblp3599580},
  id = {dblp3599580},
  biburl = {http://www.dblp.org/rec/bibtex/journals/sLogica/AllweinM01},
  url = {http://dx.doi.org/10.1023/A:1012495106338},
  journal = {Studia Logica (SLOGICA)},
  pages = {173-228},
  number = {2},
  volume = {68},
  text = {Studia Logica (SLOGICA) 68(2):173-228 (2001)}
}

{"_id":{"_str":"5254344e22ea65a142000446"},"__v":2,"authorIDs":[],"author_short":["Allwein, G.","MacCaull, W."],"bibbaseid":"allwein-maccaull-akripkesemanticsforthelogicofgelfandquantales-2001","bibdata":{"downloads":0,"urls":{"Paper":"http://dx.doi.org/10.1023/A:1012495106338"},"role":"author","bibbaseid":"allwein-maccaull-akripkesemanticsforthelogicofgelfandquantales-2001","bibtex":"@article{ dblp3599580,\n title = {A Kripke Semantics for the Logic of Gelfand Quantales},\n author = {Gerard Allwein and Wendy MacCaull},\n author_short = {Allwein, G. and MacCaull, W.},\n bibtype = {article},\n type = {article},\n year = {2001},\n key = {dblp3599580},\n id = {dblp3599580},\n biburl = {http://www.dblp.org/rec/bibtex/journals/sLogica/AllweinM01},\n url = {http://dx.doi.org/10.1023/A:1012495106338},\n journal = {Studia Logica (SLOGICA)},\n pages = {173-228},\n number = {2},\n volume = {68},\n text = {Studia Logica (SLOGICA) 68(2):173-228 (2001)}\n}","text":"Studia Logica (SLOGICA) 68(2):173-228 (2001)","volume":"68","number":"2","pages":"173-228","journal":"Studia Logica (SLOGICA)","url":"http://dx.doi.org/10.1023/A:1012495106338","biburl":"http://www.dblp.org/rec/bibtex/journals/sLogica/AllweinM01","id":"dblp3599580","key":"dblp3599580","year":"2001","type":"article","bibtype":"article","author_short":["Allwein, G.","MacCaull, W."],"author":["Gerard Allwein","Wendy MacCaull"],"title":"A Kripke Semantics for the Logic of Gelfand Quantales"},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/sLogica/AllweinM01","downloads":0,"keywords":[],"search_terms":["kripke","semantics","logic","gelfand","quantales","allwein","maccaull"],"title":"A Kripke Semantics for the Logic of Gelfand Quantales","year":2001,"dataSources":["s2RrrrSXC76GQWLfR"]}