Remarks on quantic nuclei
Shuhao Sun · Mathematical Proceedings of the Cambridge Philosophical Society · 1990
Quantales were first introduced by Mulvey[3] in order to provide a possible setting for constructive foundations for quantum mechanics, as well as a non-commutative analogue of the maximal spectrum of a C*-algebra. Quantales have since been studied by several authors: see [1, 3, 4, 5].