论文部分内容阅读
给出了Heyting代数中同余关系的一种简单定义，这种定义并不改变全体滤子和全体同余关系之间的一一对应性，并且借助滤子证明了这种定义是Heyting代数作为泛代数的同余关系的简化。最后证明了全体滤子之集作为完备格同构于全体同余关系之集。
Heyting代数中同余关系的简化
【摘 要】
：
给出了Heyting代数中同余关系的一种简单定义，这种定义并不改变全体滤子和全体同余关系之间的一一对应性，并且借助滤子证明了这种定义是Heyting代数作为泛代数的同余关系的简化
【机 构】
：
河北科技大学理学院,河北科技大学教务处
【出 处】
：
河北科技大学学报
【发表日期】
：
2012年6期
【基金项目】
：
国家自然科学基金资助项目（11201112）,河北省自然科学基金资助项目（A2010000826）,河北省教育厅优秀青年基金资助项目（Y2012020）
其他文献
近日,由CRU(英国商品研究所)和富通集团联合主办的2018世界光纤光缆大会在杭州举行。中国工程院院士邬贺铨出席大会开幕式并作主旨报告,浙江省政协副主席陈铁雄,浙江省工商联
旨在探讨在跑台上以不同的速度和坡度跑步时足底压力分布的性别差异,采用Medilogic Insole Measurement足底压力测试系统（德国）测量足底各区的压强峰值及接触时间等足底压力参
MATLAB提供了很全面的各个领域的解决方案，但在实际使用时常会碰到MATLAB没有现成解决方案的情况。本文通过分析MATLAB工具箱的组织框架及Mathworks公司提供的在MATLAB上实现M
数控技术发展的日新月异，各职业院校越来越重视学生技能水平的提高，不断增加学生的实训课时，使学生技能得到了快速提高。笔者结合当前数控实训存在的问题，提出了有效提高学生数控
7月15日，由工业和信息化部指导、中国工业经济联合会支持，中国工业报社主办，主题为“深化供给侧结构性改革，全面实施中国制造2025”的第十三届中国工业论坛在北京隆重召开，会议发