A Kripke Semantics for the Logic of Gelfand Quantales

Gerard Allwein, Wendy MacCaull. A Kripke Semantics for the Logic of Gelfand Quantales. Studia Logica, 68(2):173-228, 2001.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.