论文部分内容阅读
给出了Heyting代数成为Boole代数的几个充要条件.即Heyting代数H(,→)为Boole代数当且仅当如下条件之一成立:■a=a,■a∨a=1;或■H=H(■a=a→0).并研究了Heyting代数的自身特征.
Heyting代数成为Boole代数的条件及其特征
【摘 要】
：
给出了Heyting代数成为Boole代数的几个充要条件.即Heyting代数H(,→)为Boole代数当且仅当如下条件之一成立:■a=a,■a∨a=1;或■H=H(■a=a→0).并研究了Heyting代数的自身特
【机 构】
：
陕西师大学院数学系
【出 处】
：
陕西师大学报：自然科学版
【发表日期】
：
1991年4期
【基金项目】
：
国家自然科学基金资助课题
其他文献
2016年4月27日,海军舰载航空兵部队一级飞行员张超在驾驶歼-15舰载战斗机训练时,飞机突发电传故障,危急关头,他果断处置,尽最大努力保住战机,推杆无效被迫跳伞,坠地受重伤,经
目的应用动脉自旋标记（ASL）技术寻找PD早期诊断和病程监测的影像学生物标记。方法将2014年7月~2017年5月就诊于我院的23例确诊为PD的患者行头颅MRI及ASL检查,其中早期13例,中晚
黑柱石是一种少见的含钙铁硅酸盐矿物。通过富含黑柱石的青海省双庆铁矿区与仅含少量黑柱石的福建省马坑铁矿区矿床地质特征的对比,认为矿床中黑柱石的产生与中基性火成岩的
改革开放以来,城市电视台发展很快,但存在着深刻的矛盾和危机:单个电视台无限的扩张与有限的资源约束之间的矛盾,内部竞争强烈与外部竞争不足,办台模式与群众要求的差距,能进
用葛根素注射液联合应用激光光凝治疗视网膜静脉栓塞,总有效率88.6%,促使视网膜静脉血栓溶解,改善闭塞血管的循环和灌注,促进眼底组织的血流量增加,从而改善视网膜血液循环,
作者研读了<江泽民十六大报告>及其英译本.从翻译的角度,从赘词、时态、句子结构的处理几个方面简要作了一些评价,并提出了一些修改的建议.