IR
F-lambda三角模的结构及其应用
丁博; 李骏
2016
发表期刊计算机工程与应用
ISSN1002-8331
卷号52期号:4页码:1-5
摘要讨论了一类左连续的三角模(即,F-lambda三角模)的结构,基于F-lambda三角模给出了几种新的三角模族及与之相伴随的蕴涵算子族。证明了用此类三角模所建立的逻辑系统正是WNM逻辑系统,讨论了NM,NMG,Godel及RDP三角模与F-lambda三角模的关系,并由此出发证明了NM,NMG,Godel及RDP等逻辑系统都是WNM逻辑系统的扩张。
关键词左连续三角模 正则蕴涵算子 F-lambda三角模 WNM逻辑系统
收录类别CSCD
语种中文
WOS研究方向Mathematics
WOS类目MATHEMATICS
CSCD记录号CSCD:5651501
引用统计
文献类型期刊论文
条目标识符https://ir.lut.edu.cn/handle/2XXMBERH/71468
专题兰州理工大学
作者单位兰州理工大学理学院, 兰州, 甘肃 730050, 中国
第一作者单位理学院
第一作者的第一单位理学院
推荐引用方式
GB/T 7714
丁博,李骏. F-lambda三角模的结构及其应用[J]. 计算机工程与应用,2016,52(4):1-5.
APA 丁博,&李骏.(2016).F-lambda三角模的结构及其应用.计算机工程与应用,52(4),1-5.
MLA 丁博,et al."F-lambda三角模的结构及其应用".计算机工程与应用 52.4(2016):1-5.
条目包含的文件
条目无相关文件。
个性服务
查看访问统计
谷歌学术
谷歌学术中相似的文章
[丁博]的文章
[李骏]的文章
百度学术
百度学术中相似的文章
[丁博]的文章
[李骏]的文章
必应学术
必应学术中相似的文章
[丁博]的文章
[李骏]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。