论文研究 F λ三角模的结构及其应用.pdf

讨论了一类左连续的三角模（即，F-λ三角模）的结构，基于F-λ三角模给出了几种新的三角模族及与之相伴随的蕴涵算子族。证明了用此类三角模所建立的逻辑系统正是WNM逻辑系统，讨论了NM，NMG，Godel及RDP三角模与F-λ三角模的关系，并由此出发证明了NM，NMG，Godel及RDP等逻辑系统都是WNM逻辑系统的扩张。