期刊导航
期刊开放获取
重庆大学
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
5
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
格值一阶逻辑系统LF(X)中带广义量词的α-归结原理
被引量：
6
1
作者
周平
姜明
孙西芃
《模糊系统与数学》
CSCD
北大核心
2008年第5期10-15,共6页
讨论格值一阶逻辑系统LF(X)中带广义量词的α-归结,证明了带广义量词的Herbrand-定理,为格值一阶逻辑系统中带广义量词的不确定性自动推理作了理论的准备。
关键词
α-归结原理
广义量词
格值一阶逻辑系统LF(X)
格蕴涵代数
下载PDF
职称材料
格值一阶逻辑系统LF(X)中的广义量词
被引量：
4
2
作者
周平
姜明
徐扬
《模糊系统与数学》
CSCD
北大核心
2006年第5期96-100,共5页
给出格值一阶逻辑系统LF(X)中广义量词的定义,讨论了带广义量词的不确定性推理的性质,为语言值逻辑推理提供科学的逻辑平台。
关键词
格值-阶逻辑系统LF(X)
广义量词
不确定性推理
下载PDF
职称材料
BIK^+-逻辑与非可换模糊逻辑
被引量：
2
3
作者
张小红
《模糊系统与数学》
CSCD
北大核心
2007年第6期31-36,共6页
引入BIK+-逻辑的概念,证明了BIK+-逻辑的可靠性定理(基于BCC-代数)。同时,研究了BIK+-逻辑与非可换模糊逻辑的关系,说明了各种源于模糊逻辑的代数结构之间的内在联系,并用一个图示表达了这些关系。
关键词
BIK^+-逻辑
BCK-逻辑
非可换模糊逻辑
BCC-代数
下载PDF
职称材料
LF(X)中带广义量词的可靠性定理
4
作者
周平
姜明
徐扬
《模糊系统与数学》
CSCD
北大核心
2008年第2期31-35,共5页
讨论一阶格值逻辑系统LF(X)中带广义量词的语法推理,同时证明了LF(X)中带广义量词的可靠性定理,作为应用我们对带广义量词的一些推理规则作了语法的证明。
关键词
一阶格值逻辑系统LF(X)
广义量词
可靠性定理
下载PDF
职称材料
∧~*系统的公理化扩张
5
作者
韩诚
《模糊系统与数学》
CSCD
北大核心
2006年第5期20-24,共5页
通过对模糊逻辑命题演算形式系统L*的代数语义——R0代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑(NML)的等价性,由系统L*是可代数化逻辑出发,得到与R0代数真子簇对应的L*系统的全部公理化扩张,文中所用的方法用样...
通过对模糊逻辑命题演算形式系统L*的代数语义——R0代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑(NML)的等价性,由系统L*是可代数化逻辑出发,得到与R0代数真子簇对应的L*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对合关系的逻辑的扩张,具有较好的扩展性。
展开更多
关键词
R0-代数
系统￡^＊
代数簇
公理化扩张
下载PDF
职称材料
题名
格值一阶逻辑系统LF(X)中带广义量词的α-归结原理
被引量：
6
1
作者
周平
姜明
孙西芃
机构
四川师范大学数学与软件科学学院
西南民族大学电信学院
西南财经大学数学系
出处
《模糊系统与数学》
CSCD
北大核心
2008年第5期10-15,共6页
基金
国家自然科学基金资助项目(60474022)
高等学校博士学科点专项基金资助项目(20060613007)
文摘
讨论格值一阶逻辑系统LF(X)中带广义量词的α-归结,证明了带广义量词的Herbrand-定理,为格值一阶逻辑系统中带广义量词的不确定性自动推理作了理论的准备。
关键词
α-归结原理
广义量词
格值一阶逻辑系统LF(X)
格蕴涵代数
Keywords
α-resolution Principle
Generalized Quantifier
Lattice-valued First-order Logic
Lattice Implication Algebra
分类号
O101 [理学—基础数学]
下载PDF
职称材料
题名
格值一阶逻辑系统LF(X)中的广义量词
被引量：
4
2
作者
周平
姜明
徐扬
机构
西南交通大学智能控制中心
西南民族大学电信学院
出处
《模糊系统与数学》
CSCD
北大核心
2006年第5期96-100,共5页
基金
国家自然科学基金资助项目(60474022)
四川师范大学2005年度重点科研基金资助项目
文摘
给出格值一阶逻辑系统LF(X)中广义量词的定义,讨论了带广义量词的不确定性推理的性质,为语言值逻辑推理提供科学的逻辑平台。
关键词
格值-阶逻辑系统LF(X)
广义量词
不确定性推理
Keywords
L-valued First-order Logic LF（X）
Generalized Quantifier
Uncertainty Reasoning
分类号
O101 [理学—基础数学]
下载PDF
职称材料
题名
BIK^+-逻辑与非可换模糊逻辑
被引量：
2
3
作者
张小红
机构
宁波大学数学系
出处
《模糊系统与数学》
CSCD
北大核心
2007年第6期31-36,共6页
基金
国家自然科学基金资助项目(60775038)
浙江省自然科学基金资助项目(Y605389)
文摘
引入BIK+-逻辑的概念,证明了BIK+-逻辑的可靠性定理(基于BCC-代数)。同时,研究了BIK+-逻辑与非可换模糊逻辑的关系,说明了各种源于模糊逻辑的代数结构之间的内在联系,并用一个图示表达了这些关系。
关键词
BIK^+-逻辑
BCK-逻辑
非可换模糊逻辑
BCC-代数
Keywords
BIK^＋-logic
BCK-logic
Non-commutative Fuzzy Logic
BCC-algebra
分类号
O101 [理学—基础数学]
O159 [理学—基础数学]
下载PDF
职称材料
题名
LF(X)中带广义量词的可靠性定理
4
作者
周平
姜明
徐扬
机构
西南交通大学数学系
西南民族大学电信学院
出处
《模糊系统与数学》
CSCD
北大核心
2008年第2期31-35,共5页
基金
国家自然科学基金资助项目(60474022)
文摘
讨论一阶格值逻辑系统LF(X)中带广义量词的语法推理,同时证明了LF(X)中带广义量词的可靠性定理,作为应用我们对带广义量词的一些推理规则作了语法的证明。
关键词
一阶格值逻辑系统LF(X)
广义量词
可靠性定理
Keywords
First-order Lattice-valued Logic System LF（X）
Generalized Quantifier
Soundness Theorem
分类号
O101 [理学—基础数学]
下载PDF
职称材料
题名
∧~*系统的公理化扩张
5
作者
韩诚
机构
盐城师范学院数学系
出处
《模糊系统与数学》
CSCD
北大核心
2006年第5期20-24,共5页
文摘
通过对模糊逻辑命题演算形式系统L*的代数语义——R0代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑(NML)的等价性,由系统L*是可代数化逻辑出发,得到与R0代数真子簇对应的L*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对合关系的逻辑的扩张,具有较好的扩展性。
关键词
R0-代数
系统￡^＊
代数簇
公理化扩张
Keywords
R0-algebras
System ￡^＊
Algebraic Variety
Axiomatic Extension
分类号
O101.1 [理学—基础数学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
格值一阶逻辑系统LF(X)中带广义量词的α-归结原理
周平
姜明
孙西芃
《模糊系统与数学》
CSCD
北大核心
2008
6
下载PDF
职称材料
2
格值一阶逻辑系统LF(X)中的广义量词
周平
姜明
徐扬
《模糊系统与数学》
CSCD
北大核心
2006
4
下载PDF
职称材料
3
BIK^+-逻辑与非可换模糊逻辑
张小红
《模糊系统与数学》
CSCD
北大核心
2007
2
下载PDF
职称材料
4
LF(X)中带广义量词的可靠性定理
周平
姜明
徐扬
《模糊系统与数学》
CSCD
北大核心
2008
0
下载PDF
职称材料
5
∧~*系统的公理化扩张
韩诚
《模糊系统与数学》
CSCD
北大核心
2006
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
