The quantic conuclei on quantales

In this paper, the main purpose is to investigate some properties of quantic conuclei. Firstly, the concept of an ideal conucleus is introduced and a characterization for a map to be an ideal conucleus is given. Secondly, the relations between quantic nuclei and quantic conuclei are studied on Girard quantale, based on which, the extensions of quantic conuclei (nuclei) to a Girard quantale and the relations between those extensions are discussed. Finally, the concrete structure of quantale without non-trivial quantic conuclei is given and it is proved that the number of subquantales of an infinite quantale is infinite.

[1]  R. P. Dilworth.  Non-Commutative Residuated Lattices , 1939 .

[2]  M. Nivat.  Fiftieth volume of theoretical computer science , 1988 .

[3]  David N. Yetter,et al.  Quantales and (noncommutative) linear logic , 1990, Journal of Symbolic Logic.

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

[5]  Jean-Yves Girard,et al.  Linear Logic , 1987, Theor. Comput. Sci..

[6]  R. P. Dilworth,et al.  Residuated Lattices. , 1938, Proceedings of the National Academy of Sciences of the United States of America.

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