对偶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 →