【摘 要】
:
在研究非经典数理逻辑的语义理论时(特别在讨论逻辑系统完备性时),通常要考查与之相关的代数系统的结构,比如Lukasiewicz连续值逻辑与MV-代数,形式系统L*与RO-代数、基本逻辑系
论文部分内容阅读
在研究非经典数理逻辑的语义理论时(特别在讨论逻辑系统完备性时),通常要考查与之相关的代数系统的结构,比如Lukasiewicz连续值逻辑与MV-代数,形式系统L*与RO-代数、基本逻辑系统BL与BL-代数等,这与经典逻辑与Boolean代数的关系极为相似.因此,研究各种源于逻辑的代数系统的内在联系,不仅对代数结构本身的研究是重要的,而且对于揭示各种逻辑系统之间的内在关系有重要意义。
本文在国内外已有成果的基础上,引入BL-代数的(∈,∈vq)-模糊滤子、(∈,∈vq)-模糊关联滤子、(∈,∈vq)-模糊正关联和(∈,∈vq)-模糊奇妙滤子等概念,运用模糊逻辑代数相关理论,研究了其性质。同时,利用模糊集的水平集,刻画了这几类广义模糊滤子的特征.最后,我们给出一个重要的结论:BL-代数的模糊集F是L的(∈,∈vq)-模糊关联(Boolean)滤子当且仅当它既是(∈,∈vq)-模糊正关联滤子,又是(∈,∈vq)-模糊奇妙滤子.该文的研究,为BL-代数及其它逻辑代数的理论研究提供了一个新的研究思路。
其他文献
本文应用扰动方法讨论了一类半线性椭圆方程解的存在性问题.具体讨论的方程是:{-△u+(1+∈a(x))u=up,u∈H1(RN),u>0,(*)在这里N≥3且P是次临界指标,即1
本文通过介绍基于提升岗位综合能力基础上的新教学模式在体育职业院校中的课程《社会体育活动组织与策划》的创新应用与实践,介绍了这一新式教学模式在课程教学中的实施过程及
本文主要应用Krasnoselskiis不动点定理对几类高阶微分方程边值问题正解的存在性进行分析,改进和推广了相关文献的结果. 本硕士论文由三章组成。第一章主要讨论非线性高阶微
装药器属于爆破用移动式输送炸药设备。针对目前常用的具有搅拌器装置的装药器,文章着重对其设计、制造、使用与管理提出了一些改进建议,望专家共商。
Charger belongs to b
比较分析法教学是一种常见的教学模式,通过比较发现相似历史事件的异同,从而获得学习的侧重与历史规律的掌握。如何运用比较分析法进行教学活动成为摆在当前高中历史教师面前
本文综合应用Bayes、多层Bayes及E-Bayes方法,在单元具有多源验前信息的情况下,充分利用验前信息,对试验数据分别为小样本和单失效数据时,服从Pascal分布的单元进行了可靠性分析
请下载后查看,本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
一、前言随着小学新课程标准的实施,教师必须转变教学观念,将学生作为小学英语教学的主体,注重学生自主探究与合作学习能力的培养。通过把合作学习理念引入小学英语教学中,一
摘要:降低线损是供电企业的主要管理任务之一,它直接影响着企业的经济效益。节能降损始终是供电企业探讨的热点问题,本文针对目前供电公司线损管理存在的问题,结合工作中的经验,对降低线损工作应采取的措施与办法进行了探讨。 关键词:降损;供电企业;经济发展 Abstract: the lower line loss is the power supply enterprise to one of the