Gerard Allwein, Wendy MacCaull. A Kripke Semantics for the Logic of Gelfand Quantales. Studia Logica, 68(2):173-228, 2001.
@article{AllweinM01, title = {A Kripke Semantics for the Logic of Gelfand Quantales}, author = {Gerard Allwein and Wendy MacCaull}, year = {2001}, tags = {semantics, logic}, researchr = {https://researchr.org/publication/AllweinM01}, cites = {0}, citedby = {0}, journal = {Studia Logica}, volume = {68}, number = {2}, pages = {173-228}, }