论文信息 - Spatial Quantales - 字舞流文

Spatial Quantales

Spatial (involutive) quantales here are characterize. They solve a problem emerging in the work by Pelletier and Rosický.

David Kruml | David Kruml

[1] Jan Paseka,et al. Embeddings of quantales into simple quantales , 2000 .

[2] J. Rosický,et al. Characterizing spatial quantales , 1995 .

[3] Jiří Rosický,et al. Simple Involutive Quantales , 1997 .

[4] K. I. Rosenthal. Quantales and their applications , 1990 .

[5] Steven J. Vickers,et al. Quantales, observational logic and process semantics , 1993, Mathematical Structures in Computer Science.

[6] A. Joyal,et al. An extension of the Galois theory of Grothendieck , 1984 .