Lanzhou University of Technology Institutional Repository (LUT_IR)
F-lambda三角模的结构及其应用 | |
丁博; 李骏 | |
2016 | |
发表期刊 | 计算机工程与应用 |
ISSN | 1002-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. |
条目包含的文件 | 条目无相关文件。 |
个性服务 |
查看访问统计 |
谷歌学术 |
谷歌学术中相似的文章 |
[丁博]的文章 |
[李骏]的文章 |
百度学术 |
百度学术中相似的文章 |
[丁博]的文章 |
[李骏]的文章 |
必应学术 |
必应学术中相似的文章 |
[丁博]的文章 |
[李骏]的文章 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论