欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
为了进一步讨论Quantale内部结构之间的对应关系，我们首先引入了左（右）蕴含核映射的概念；其次讨论了左（右）蕴含核映射的一些性质，左（右）蕴含Quantale商的等价刻画，并且给出了一个映射是左（右）蕴含核映射的等式刻画。最后，证明了在预Girardquantale上左（右）蕴含核映射与右（左）理想余核之间是一一对应关系。
英文摘要：
In order to discuss the corresponding relationship between the interior structures ot quantale, we first introduce the concepts of left implication nucleus and right implication nucleus. Secondly, we investigate some properties of left （right） implication nuclei, the equivalent characterization about left （right） implication nucleus, and give the equivality characterization for a map to be a left （right） implication nucleus. At last, it is proved that the relation betweenleft （right） implication nuclei and right （left） ideal conuclei on a pre-Girard quantale is one-to-one.
同期刊论文项目
同项目期刊论文
期刊信息
位置：