期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
模糊模态逻辑系统M■uk中的可达广义重言式
1
作者
邹尚田
王国俊
《山东大学学报(理学版)》
CAS
CSCD
北大核心
2009年第8期80-85,共6页
将赋值格取为单位区间并将二元关系R模糊化,研究了模糊模态逻辑系统M■uk,然后将其赋值格离散化研究了多值模态逻辑系统M■n;证明了在M■n中,对任一可能的赋值α都存在可达α-重言式;在M■uk中对任一有理数α∈[0,1]都存在可达α-重言式...
将赋值格取为单位区间并将二元关系R模糊化,研究了模糊模态逻辑系统M■uk,然后将其赋值格离散化研究了多值模态逻辑系统M■n;证明了在M■n中,对任一可能的赋值α都存在可达α-重言式;在M■uk中对任一有理数α∈[0,1]都存在可达α-重言式;指出了在R0系统中起关键作用的升级算法对M■n系统已不再适用,并分析了其原因。
展开更多
关键词
模糊模态逻辑
模糊模态逻辑系统MLuk
可达广义重言式
可达
广义
矛盾式
类类不空定理
原文传递
题名
模糊模态逻辑系统M■uk中的可达广义重言式
1
作者
邹尚田
王国俊
机构
陕西师范大学数学与信息科学学院
出处
《山东大学学报(理学版)》
CAS
CSCD
北大核心
2009年第8期80-85,共6页
基金
国家自然科学基金资助项目(10771129)
文摘
将赋值格取为单位区间并将二元关系R模糊化,研究了模糊模态逻辑系统M■uk,然后将其赋值格离散化研究了多值模态逻辑系统M■n;证明了在M■n中,对任一可能的赋值α都存在可达α-重言式;在M■uk中对任一有理数α∈[0,1]都存在可达α-重言式;指出了在R0系统中起关键作用的升级算法对M■n系统已不再适用,并分析了其原因。
关键词
模糊模态逻辑
模糊模态逻辑系统MLuk
可达广义重言式
可达
广义
矛盾式
类类不空定理
Keywords
fuzzy modal logic
fuzzy modal logic system MLuk
exact generalized tautologies
exact generalized contradictions
univerisal theorem
分类号
O141.1 [理学—基础数学]
原文传递
题名
作者
出处
发文年
被引量
操作
1
模糊模态逻辑系统M■uk中的可达广义重言式
邹尚田
王国俊
《山东大学学报(理学版)》
CAS
CSCD
北大核心
2009
0
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部