IR
F-lambda三角模的结构及其应用
丁博; 李骏
2016
Source Publication计算机工程与应用
ISSN1002-8331
Volume52Issue:4Pages:1-5
Abstract讨论了一类左连续的三角模(即,F-lambda三角模)的结构,基于F-lambda三角模给出了几种新的三角模族及与之相伴随的蕴涵算子族。证明了用此类三角模所建立的逻辑系统正是WNM逻辑系统,讨论了NM,NMG,Godel及RDP三角模与F-lambda三角模的关系,并由此出发证明了NM,NMG,Godel及RDP等逻辑系统都是WNM逻辑系统的扩张。
Keyword左连续三角模 正则蕴涵算子 F-lambda三角模 WNM逻辑系统
Indexed ByCSCD
Language中文
WOS Research AreaMathematics
WOS SubjectMATHEMATICS
CSCD IDCSCD:5651501
Document Type期刊论文
Identifierhttp://ir.lut.edu.cn/handle/2XXMBERH/71468
Collection兰州理工大学
Affiliation兰州理工大学理学院, 兰州, 甘肃 730050, 中国
First Author AffilicationColl Sci
First Signature AffilicationColl Sci
Recommended Citation
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.
Files in This Item:
There are no files associated with this item.
Related Services
Usage statistics
Google Scholar
Similar articles in Google Scholar
[丁博]'s Articles
[李骏]'s Articles
Baidu academic
Similar articles in Baidu academic
[丁博]'s Articles
[李骏]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[丁博]'s Articles
[李骏]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.