期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
非可换线性逻辑及其Quantale语义 被引量：15
1
作者 李永明 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2001年第2期1-5,共5页
扩充了V .M .Abrusci定义的非可换线性逻辑 ,使其兼容直觉逻辑、可换线性逻辑及cyclic线性逻辑 ,并利用提出的对偶quantale概念给出了非可换线性逻辑的可靠且完备的quantale语义 .
关键词 非可换线性逻辑 对偶quantale 语义
下载PDF
对偶Quantale上的Par运算及其性质 被引量：3
2
作者 马崛 赵彬 《模糊系统与数学》 CSCD 北大核心 2009年第2期52-58,共7页
在对偶Quantale上定义了Par运算凵,并研究了其性质。给出了单位Quantale是对偶Quantale的充要条件,在此基础上得出对偶Quantale的等价刻画。证明了在一定条件下对偶Quantale的子Quantale亦是对偶Quantale。
关键词 quantale 对偶quantale 单位quantale 对偶元 子quantale
下载PDF
对偶Quantale及其性质 被引量：11
3
作者 李永明 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2001年第1期1-5,共5页
提出了对偶quantale的概念 ,研究了对偶quantale的性质及其构造 .利用quantale上的nucleus与余nucleus算子 ,给出了任一quantale的对偶quantale商的完全构造及quantale上的开模态词的特别构造 .研究表明 ,对偶quantale是非可换quantale... 提出了对偶quantale的概念 ,研究了对偶quantale的性质及其构造 .利用quantale上的nucleus与余nucleus算子 ,给出了任一quantale的对偶quantale商的完全构造及quantale上的开模态词的特别构造 .研究表明 ,对偶quantale是非可换quantale中的布尔代数 . 展开更多
关键词 对偶quantale商 开模态词 布尔代数 余nucleus算子 完备格 弱循环元 对偶元
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部