切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Girard quantale的若干性质
Girard quantale的若干性质
来源 :陕西师范大学学报:自然科学版 | 被引量 : 0次 | 上传用户:tomyang
【摘 要】
:
研究了Girard quantale的内部结构,讨论了新算子|→r(|→l)的一系列性质.找到了Girard quantale的等价刻画以及一个D—quantale是Girard quantale的充要条件,并探讨了Girard quantal
【作 者】
:
王顺钦
赵彬
【机 构】
:
陕西师范大学数学与信息科学学院,南阳师范学院数学与统计学院
【出 处】
:
陕西师范大学学报:自然科学版
【发表日期】
:
2007年2期
【关键词】
:
完全格
D-quantale
Girard
QUANTALE
有效元
complete lattice D-quantale Girard quantale v
【基金项目】
:
国家自然科学基金资助项目(10471083)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
研究了Girard quantale的内部结构,讨论了新算子|→r(|→l)的一系列性质.找到了Girard quantale的等价刻画以及一个D—quantale是Girard quantale的充要条件,并探讨了Girard quantale中有效元的一些简单性质。
其他文献
La0.75Na0.25MnO3外延膜的制备及电流诱导效应
通过射频磁控溅射,在单晶LaAl O3(100)衬底上生长了膜厚为120 nm的La0.75Na0.25MnO3外延膜.应用X射线衍射仪、直流四探针法对其结构及电流诱导效应进行了系统研究.X射线结果表
期刊
La0.75Na0.25MnO3外延膜
电流诱导效应
相分离理论
La0.75Na0.25MnO3 epitaxial film current-induced
盛夏说丝瓜
翠绿鲜嫩的丝瓜,是夏季人们爱吃的瓜类蔬菜.丝瓜与夏天有缘,据说是明代从南洋那个炎热的地方引进的,靠海边的泉州,称它暑瓜,这应该是正确的,丝瓜是真正清凉解热的瓜.
期刊
丝瓜
盛夏
瓜类蔬菜
其他学术论文