对偶Quantale及其性质

被引：11
|
作者：
李永明
机构：
[1] 陕西师范大学数学系!陕西西安
来源：
陕西师范大学学报(自然科学版) | 2001年 / 01期
关键词：
quantale; 对偶quantale; 对偶quantale商; 开模态词;
D O I：
10.15983/j.cnki.jsnu.2001.01.001
中图分类号：
O153 [抽象代数（近世代数）];
学科分类号：
070104 ;
摘要：
提出了对偶quantale的概念 ,研究了对偶quantale的性质及其构造 .利用quantale上的nucleus与余nucleus算子 ,给出了任一quantale的对偶quantale商的完全构造及quantale上的开模态词的特别构造 .研究表明 ,对偶quantale是非可换quantale中的布尔代数 .
引用
收藏
页码：1 / 5
页数：5
相关论文
共 6 条
  • [1] Quantales and their applications. Rosenthal K. . 1990
  • [2] Weak uninorm aggregation operator. Li Yong_ming. Journal of Information Science . 2000
  • [3] Quantale与互模拟的进程语义
    李永明
    李志慧
    [J]. 数学学报, 1999, (02) : 313 - 320
  • [4] 非经典数理逻辑与近似推理[M]. 科学出版社 , 王国俊著, 2000
  • [5] Phase semantics and sequent calculus for pure noncommutative classical linear proposition logic. Abrusci V M. Journal of Symbolic Logic . 1991
  • [6] Linear Logic. Girard J Y. Theoretical Computer Science . 1987
1