F-lambda三角模的结构及其应用

CORC > 兰州理工大学 > 兰州理工大学

	F-lambda三角模的结构及其应用
	丁博; 李骏
刊名	计算机工程与应用
	2016
卷号	52 期号:4 页码:1-5
关键词	左连续三角模正则蕴涵算子 F-lambda三角模 WNM逻辑系统
ISSN号	1002-8331
英文摘要	讨论了一类左连续的三角模(即,F-lambda三角模)的结构,基于F-lambda三角模给出了几种新的三角模族及与之相伴随的蕴涵算子族。证明了用此类三角模所建立的逻辑系统正是WNM逻辑系统,讨论了NM,NMG,Godel及RDP三角模与F-lambda三角模的关系,并由此出发证明了NM,NMG,Godel及RDP等逻辑系统都是WNM逻辑系统的扩张。
WOS研究方向	Mathematics
语种	中文
CSCD记录号	CSCD:5651501
状态	已发表
内容类型	期刊论文
源URL	[http://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.