【摘 要】
：
讨论了一类左连续的三角模（即,F-λ三角模）的结构,基于F-λ三角模给出了几种新的三角模族及与之相伴随的蕴涵算子族。证明了用此类三角模所建立的逻辑系统正是WNM逻辑系统,讨论
【基金项目】
：
国家自然科学基金（No.11261032）
论文部分内容阅读
讨论了一类左连续的三角模（即,F-λ三角模）的结构,基于F-λ三角模给出了几种新的三角模族及与之相伴随的蕴涵算子族。证明了用此类三角模所建立的逻辑系统正是WNM逻辑系统,讨论了NM,NMG,Godel及RDP三角模与F-λ三角模的关系,并由此出发证明了NM,NMG,Godel及RDP等逻辑系统都是WNM逻辑系统的扩张。
其他文献
研究了一类在Neumann边界条件下,具有扩散现象和群体防卫能力的三种群食物链模型的Hopf分支,以捕食者的死亡率为分支参数,利用Hurwitz判据讨论了系统正常数平衡解的稳定性,并
【正】 我国的农田防护林工作,经过不断地实践和探索,三十几年来取得的较大成绩,引起国内外人士的重视。丹麦林学家美斯认为“非永久性的农田防护林”实为中国所首创。我国的
<正> 卵巢是子宫内膜异位症的好发部位,卵巢巧克力囊肿是外在性子宫内膜异位症的常见病变。我院自1989年3月～1995年12月开展了阴道超声检查及穿刺治疗卵巢囊肿取得较好效果,其
编码问题是遗传算法研究的难点。浮点数编码在函数和约束优化中明显优于其他编码,并能提高算法的局部搜索能力。浮点数编码在遗传环境中产生的噪音和对算法性能的影响,正在被
<正> 三、奈曼旗复合生态经济系统的功能及循环的“堵塞” (一)复合生态经济系统的功能分析复合生态经济系统区别于生态系统和经济系统主要在于以自然复合生态系统的循环功能
本文首先阐述了我国对虾养殖业的形成与发展,然后着重分析了我国对虾养殖业发展过程中,在开发管理、规划、技术等方面存在的生态经济问题及对养虾业生态经济效益的影响,并针
<正> 一、新华村农业生态环境与面临的主要问题新华村隶属于吉林省通榆县新华乡,地处温带半湿润大陆性季风气候区.年平均气温5.1℃,≥10℃积温3011℃,日照时数2922小时,年降
门-体静脉分流术是治疗门静脉高压症的一种重要外科手段。目前常用的典型术式有门腔静脉、脾肾静脉、脾腔静脉、肠腔静脉吻合术等。但在某些病例,由于这些血管在解剖上的异常
针对日前在互联网中被广泛使用的验证码，提出将卷积神经网络引入到验证码识别之中。通过设计新的卷积网络拓扑结构，针对可分割成语验证码提出基于k-means聚类的字符分割方法，以
<正> 我院自1986年11月～1994年11月手术切除心房粘液瘤5例,均治愈出院,现报告并分析如下。 临床资料 本组男1例,女4例,年龄28个月～62岁。临床表现为反复发热3例,心悸、气急逐渐