【摘 要】
：
在逻辑系MTL（Monoidalt-normbasedLogic）中引入一元逻辑连接词↓△，并在原有公理模式的基础上添加若干新公理，构建了一种新的MTL的扩张MTL↓△逻辑系统。为了进行相应的语义研究，
【机 构】
：
陕西师范大学数学与信息科学学院,华东师范大学上海市高可信计算重点实验室
【基金项目】
：
国家自然科学基金No.10771129~~
论文部分内容阅读
在逻辑系MTL（Monoidalt-normbasedLogic）中引入一元逻辑连接词↓△，并在原有公理模式的基础上添加若干新公理，构建了一种新的MTL的扩张MTL↓△逻辑系统。为了进行相应的语义研究，在MTL代数的基础上，引入一元算子↓△，提出MTL↓△代数的概念，并证明了MTL↓△代数的同构定理。基于线性MTL↓△代数证明了逻辑系统MTL↓△的完备性。
其他文献
文章基于中国经济增长的特征事实,对政府主导、地方政府竞争影响城乡收入差距的制度背景和理论机制进行梳理,并采用面板分位数回归模型进行实证考察。研究发现:(1)中国式分权
教师的信息化教学领导力是推动学校信息化教学发展的关键所在,挖掘其内涵、影响因素及建设路径可为教师专业发展提供参考。从领导过程的角度来看,教师信息化教学领导力的内涵
中国传统园林是中华文明历史长河中的璀璨结晶,充分体现古代人的造园智慧和生活追求。经济全球化背景下,城市园林与环境设计一面面临传统缺失,一面承受西方造园思想冲击,一度
从地质学、冰川学、考古学、生态学、文化哲学、历史学以及社会学等多种学科综合分析与探讨中,有证据表明冰雪文化的发展历程大致也经过人类诞生于冰雪的自然时期,生长于冰雪
自从马尔萨斯发表其著作《人口原理》以来,人口总量与经济发展的关系始终是经济学家争论的焦点。然而自20世纪60年代开始,众多发展中国家同时经历了迅速的经济增长与人口转变
制备和表征了Mg/Al水滑石催化剂并应用于碳酸二甲酯与苯酚酯交换反应,研究了不同制备条件下合成的Mg/Al水滑石对酯交换催化活性的影响.结果表明:当nMg:nAl=2∶1,终点pH值为11
记得有个作家把写作体会概括为九字诀:看出来、想出来、写出来。这似乎是老生常谈,不外是多观察、多思考、多练习而已,但这引起了我的思考。其实这九字诀关键在于“出来”两
我国人大选举是确认型选举，包括基层人大选举制度在内的人大选举制度尚不完善。在基层人大选举中，代表候选人提名是产生代表候选人的过程，很大程度上决定了选举结果，因此，如果代表
目的探讨2型糖尿病实施达美康与二甲双胍治疗的临床效果及对生活质量的影响。方法对内科60例2型糖尿病患者(2018年1月到2018年9月间)实施研究,按随机数表法分组:单一组(n=30,
少年民事审判制度是我国少年司法制度的重要组成部分，传统少年审判理论研究主要集中于刑事领域，一定程度上忽视了与少年关系最密切的是他们对民事权利保护的需求这一客观事实。