论文部分内容阅读
证明了正则的Heyting-代数如果满足x→y=x＇∨y,则可构成格蕴涵代数并且是格H蕴涵代数,条件是充分必要的。
格蕴涵代数与Heyting-代数之间的关系
【摘 要】
：
证明了正则的Heyting-代数如果满足x→y=x＇∨y,则可构成格蕴涵代数并且是格H蕴涵代数,条件是充分必要的。
【机 构】
：
四川理工学院理学院
【出 处】
：
兰州石化职业技术学院学报
【发表日期】
：
2011年3期
【基金项目】
：
四川理工学院人才引进项目（NO.2008RCYJ07）
其他文献
超窄间隙焊接变形小,焊接效率高。在5mm超窄间隙坡口的焊接中,采用焊剂带对电弧进行约束,可阻止电弧沿侧壁攀升,能有效控制电弧的加热区域,提高电弧能量密度,保证间隙侧壁的
从小生活在军营,飘扬的国旗、闪亮的五角星以及“没有共产党,就没有新中国”的歌声陪伴我长大。认识共产党员,脑海中涌现的是从课本上、故事中看到和听到的模糊的董存瑞、黄
缓缓流淌的莱茵河,给瑞士边境城市巴塞尔带来了无尽的风光与繁华。每年的三四月份,停泊在莱茵河上的数十艘豪华游轮,住满了来自全球各地不同肤色、不同语言的人群。他们无暇
土壤是小麦所需水、肥的主要来源,其理化性质和肥力水平对小麦的生长发育和品质的形成具有重要影响。庄巧生曾指出,土壤硝态氮的多少是决定小麦蛋白质含量的关键,小麦在形成
奥运会的成功举办需要巨大的投资．不仅包括奥运会体育设施的投资．如比赛场馆、奥运村建设等．还包括与举办奥运会有关的市政基础设施等配套设施的建设。资料显示，北京奥运工程仅场
石药集团医药发酵的仪表控制原由常规仪表构成。单个控制体积庞大、故障率较高、维护费用高，观看不直观，不能进行历史数据追溯。为了提高自动化水平，增强仪表控制系统的可靠性，我
与普通建筑相比,高层建筑具有层数多、高度大、用水要求高、排水量大等特点,高层建筑给水设计对各个用水点或整个系统的压力都有一定的范围要求,因此,必须采取新的技术措施,