TY - JOUR AU - Allwein, Gerard AU - MacCaull, Wendy IS - 2 JA - Studia Logica PB - Springer Netherlands PY - 2001 TI - A Kripke semantics for the logic of Gelfand quantales VL - 68 ER -