论文部分内容阅读
为了建立各种可换和非可换模糊逻辑的公共基础（蕴涵片段），提出了一个新的蕴涵逻辑，称为模糊BIK＋-逻辑。证明了这一新的蕴涵逻辑的可靠性和弱完备性定理，同时讨论了模糊BIK＋-逻辑与各种模糊逻辑之间的关系，以及与它们配套的代数结构之间的关系。
模糊BIK＋-逻辑与非可换模糊逻辑
【摘 要】
：
为了建立各种可换和非可换模糊逻辑的公共基础（蕴涵片段），提出了一个新的蕴涵逻辑，称为模糊BIK＋-逻辑。证明了这一新的蕴涵逻辑的可靠性和弱完备性定理，同时讨论了模糊BIK＋-逻辑与各
【机 构】
：
宁波大学数学系,InstituteofMathematicsandComputerScience
【出 处】
：
模糊系统与数学
【发表日期】
：
2009年4期
【基金项目】
：
National Natural Science Foundation of China（Grant No. 60775038）, Ningbo Natural Science Foundation of China （Grant No. 2009A610078）, K. C. Wang Magna Fund in Ningbo University
其他文献
预算管理作为企事业单位健全内部约束机制、规范财务管理的重要手段,在医院管理中所占地位举足轻重。新医改也提出要进一步完善财务、会计管理制度、严格预算管理、加强财务
自2013年1月1日起事业单位实施修订后的《事业单位会计准则》、《事业单位会计制度》,这就对事业单位的会计管理提出了新的要求。本文从事业单位与上级管理部门的关系,事业单
进一步研究了余剩余格的一些性质，在此基础上证明了正则余剩余格与对合BCK-格是两个等价的代数系统。所得结果将有助于深入了解正则余剩余格的代数结构，也为相关多值逻辑系统的
近些年,由于我国经济发展的转型,企业的运营成本越来越高,在这个过程中,企业遇到了前所未的挑战与机遇。文章在分析当前的的国家政策导向和经济环境下,通过提高企业财务管理
一、宏观经济分析经历了08和09年的金融海啸之后,各国纷纷出台各项政策促进经济的恢复发展,宏观经济周期处于上升趋势。其间各国都将新能源作为国家经济发展的战略重点,以保
农民专业合作组织是以农户经营为基础,以某一产业或产品为纽带,实行技术、采购、生产、加工、销售等的农民互助合作组织。本文运用合作社理论、农业经济学理论等分析工具,对
近年来,县市级地方政府在财力有限的情况下,成立了以融资为主要经营目的的投融资平台。这些投融资平台大多是以国有土地和政府资产作为抵押,以地方财政收入作为还款来源,向银
全面预算管理是预算管理发展较为成熟的管理方法和理念,全面预算管理长期性、全面性和战略性的特点帮助企业在计划的时间内达到既定战略目标。本文首先介绍了全面预算管理的