A Kripke Semantics for the Logic of Gelfand Quantales. Allwein, G. & MacCaull, W. Studia Logica (SLOGICA), 68(2):173-228, 2001.
A Kripke Semantics for the Logic of Gelfand Quantales [link]Paper  bibtex   
@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)}
}

Downloads: 0