【摘 要】
：
何华灿教授给出了理想状态下的泛逻辑学的形式演绎系统β，并证明了该系统的可靠性。并且提出了理想状态下的泛逻辑学对应的代数系统-UB代数，并讨论了它们的性质。在以上这些结
【基金项目】
：
国家自然科学基金（the National Natural Science Foundation of China under Grant No.10371106）.
论文部分内容阅读
何华灿教授给出了理想状态下的泛逻辑学的形式演绎系统β，并证明了该系统的可靠性。并且提出了理想状态下的泛逻辑学对应的代数系统-UB代数，并讨论了它们的性质。在以上这些结果的基础上，引入UB代数的（∈，∈∨q）-fuzzy滤子和（∈，∈∨q）-fuzzy关联滤子的概念，获得了它们的若干等价刻画，证明了（∈，∈∨q）-fuzzy关联滤子的扩张定理。
其他文献
Chan-Vese方法作为Mumford-Shah的简化模型,因其水平集函数在演化过程中的全区域变化,会造成计算量极大,严重影响曲线形变速度;即使采用窄带法,在像素大的图像处理中,演化速度也极大地受到限制。提出一种改进Chan-Vese可变模块法快速实现红外图像分割,提出了形变曲线的不同节点根据前一次迭代演化情况,采用不同大小的模块运算,从而极大地提高了Chan-Vese模型演化速度。通过对红外图
美国《现代轮胎经销商》（www．moderntire—dealer．com）2014年1月21日报道：固铂轮胎橡胶公司宣布其CS3旅行轮胎以其创新和质量赢得2013年度优秀设计奖。固铂于2013年6月推出这款中
2017年12月初,美国加利福尼亚州（以下简称加州）鲜食葡萄季已接近尾声,仅剩下部分晚熟葡萄品种应市。2017年加州葡萄整体供应较少,需求量高,无核红葡萄品种供应量少于绿色品种。
金秋的合肥,景色宜人。九月二日至四日,安徽省书法家协会第三次代表大会在合肥隆重召开。这次大会在举国上下学习贯彻江总书记『七一』重要讲话,认真落实『三个代表』重要思
美国《现代轮胎经销商》（www．moderntire—dealer．com）2014年8月21日报道：普利司通商业解决方案部（BCS）推出全轮位子午线轮胎FirestoneFS561（见图1）和补充BridgestoneM799翻新轮胎的Ba
据《北方园艺》2019年第12期《兔眼蓝莓品种Gardenblue对锰胁迫的响应机制》(作者董珊珊等)报道,以兔眼蓝莓Gardenblue为试材,采用盆栽试验的方法,研究了不同浓度(0、1.0、2.
摘 要 在玉米植物种植过程中，科学的种植技术不仅可以有效地提高玉米种植产量，而且可以有效地防治植物的病虫害，因此种植技术的提高是人们种植过程中注重的一个环节。我国不同地区的玉米种植存在较大的差异，部分地区的种植产量和种植质量相比较其他地区的产量与质量较好，玉米植物在种植过程中有着较强的适应性，所以如何将科学的种植技术进行推广应用具有重大意义。 关键词 玉米；种植技术；推广应用 中图分类号：S5
由山东风轮轮胎有限公司申请的专利（公开号CN102816353A，公开日期2012—12—12）“一种全钢子午线轮胎基部胶配方”，涉及的全钢子午线轮胎基部胶配方为：生胶（SMR20）100，中结构炭黑10～18
现如今,曾经的绿皮火车已经成了人们的温暖乡愁,所幸,在著名的『东边道』（指东北东部铁路通道）铁路线上,仍能一窥它的真容.在长白山区,走村串镇,绿皮火车仍是沿线村屯农民的重
据《经济林研究》2019年第1期《覆盖对设施栽培灵武长枣生长和果实品质的影响》(作者白琳云等)报道,为提升设施栽培灵武长枣的果实品质,促进其营养生长,以8年生设施栽培灵武