自然科学版
陕西师范大学学报(自然科学版)
专题研究
Girard quantale的若干性质
PDF下载 ()
王顺钦1,2,赵彬1
(1 陕西师范大学 数学与信息科学学院, 陕西 西安 710062;2 南阳师范学院 数学与统计学院, 河南 南阳 4730061)
王顺钦,男,博士研究生,主要从事格上拓扑学研究.
摘要:
研究了Girard quantale的内部结构, 讨论了新算子|→r(|→l)的一系列性质. 找到了Girard quantale的等价刻画以及一个D-quantale是Girard quantale的充要条件,并探讨了Girard quantale中有效元的一些简单性质.
关键词:
完全格; D-quantale; Girard quantale; 有效元
收稿日期:
2006-09-04
中图分类号:
O153.1
文献标识码:
A
文章编号:
1672-4291(2007)02-0010-0
基金项目:
国家自然科学基金资助项目(10471083)
Doi:
Some properties of Girard quantales
WANG Shun-qin1,2, ZHAO Bin1
(1 College of Mathematics and Information Science, Shaanxi Normal University, Xi′an 710062, Shaanxi, China;2 School of Mathematics and Statistics, Nanyang Normal University, Nanyang 473061, Henan, China)
Abstract:
The intrinsic structures of Girard quantales are studied. A series of properties of the new operations |→r and |→l are investigated. An equivalent characterization of a Girard quantale is given and a necessary and sufficient condition for a D-quantale to be a Girard quantale is found, and some simple properties of valid elements in a Girard quantale are discussed.
KeyWords:
complete lattice; D-quantale; Girard quantale; valid element