论文部分内容阅读
基于B-赋值理论，在B为有限Boole代数的前提下，得出了三个主要结论。首先，讨论了广义Boole函数与Boole函数之间的关系。其次，得出了在有限Boole语义理论意义下的真度不变性定理。最后给出了经典逻辑系统关于有限Boole语义的完备性定理。
关于Boole语义的真度不变性定理
【摘 要】
：
基于B-赋值理论，在B为有限Boole代数的前提下，得出了三个主要结论。首先，讨论了广义Boole函数与Boole函数之间的关系。其次，得出了在有限Boole语义理论意义下的真度不变性定理。
【机 构】
：
陕西师范大学数学与信息科学学院,宝鸡文理学院数学系
【出 处】
：
模糊系统与数学
【发表日期】
：
2008年2期
【基金项目】
：
国家自然科学基金重点资助项目（10331010）
其他文献
目的分析河北地区不同年龄不同部位健康女性的骨密度变化。方法将河北地区923名健康女性，年龄20～80岁，每10岁为1组，分为6组，所有受试对象均记录年龄、身高、体重、体重指数（BMI）、女
【正】西班牙不仅仅是大航海、斗牛、弗拉门戈舞和皇马足球,也有毕加索、高迪……刚刚过去的2007西班牙文化年的主角是更多的艺术、文学……诸如
对增值税一般纳税人而言，应交增值税核算包括进项税额、进项税额转出、销项税额、视同销售和交纳增值税等内容，其中进项税额转出和视同销售行为学生容易混淆，是教学中的难点，运用
当前，对阅读教学的主要评价方式是考试。对教师的评价，主要是由上级教育主管部门和学校组成的评估团对教师上课及考试情况进行评估，没有教师自身的评价和学生对教师的评价；对学生
企业的固定资产是企业赖以生存的条件，为企业的运营和发展提供了必要的物质基础。本文通过分析固定资产全生命周期的内涵和规律，结合目前我国企业固定资产全生命周期管理中出现
由于事业单位现行体制和制度等方面的原因,财务风险问题已成为事业单位内部管理的重大隐患,急需引起高度重视。一、目前事业单位财务风险的表现
内部会计控制是经济组织为了保证自身资产的完整性与安全性而进行的一种内控管理行为.对于高校来说,内部会计控制非常重要,因为毕竟高校不属于营利机构,其资产的增减有时不太
文章首先对ＭＲＰ－Ⅱ和ＪＩＴ生产方式进行了对比，分析各自的优缺点，并针地性地提出了一种和适合于ＣＩＭＳ安全业Ｐｕｓｈｐｕｌｌ生产方式，然后，作者详细研究了Ｐｕｓｈ／ｐｕｌｌ生产试上原材料投入的Ｐｕｓｈ控制方法和后续加工的Ｐｕｌｌ控制方法。最
会计基础工作是进行会计核算和监督的前提,也是会计人员应当履行的行为规范,是会计工作质量的重要基础。本文分析了当前会计基础工作中存在的问题及其原因,提出了夯实会计基