Researches on Pre-Girard Quantale and Its Properties

ZHAO Bin,HAN Sheng-wei
DOI: https://doi.org/10.3969/j.issn.1672-4291.2007.04.001
2007-01-01
Abstract:Some of the properties of pre-Girard quantale and the relation between nuclei and conuclei on pre-Girard quantale are studied,the definition of the ideal conucleus is simplified,some of the properties of ideal conuclei are discussed,and the concrete constructions of ideal conuclei on right-sided and idempotent quantales are given.A sufficient and necessary condition for a pre-Girard quantale to be a Girard quantale is obtained.It is proved that every quantale can be embedding into a pre-Girard quantale,and nuclei and ideal conuclei on pre-Girard quantale are in one-to-one correspondence.
What problem does this paper attempt to address?