论文部分内容阅读
证明了正则的Heyting-代数如果满足x→y=x＇∨y,则可构成格蕴涵代数并且是格H蕴涵代数,条件是充分必要的。
格蕴涵代数与Heyting-代数之间的关系
【摘 要】
：
证明了正则的Heyting-代数如果满足x→y=x＇∨y,则可构成格蕴涵代数并且是格H蕴涵代数,条件是充分必要的。
【机 构】
：
四川理工学院理学院
【出 处】
：
兰州石化职业技术学院学报
【发表日期】
：
2011年3期
【基金项目】
：
四川理工学院人才引进项目（NO.2008RCYJ07）
其他文献
超窄间隙焊接变形小,焊接效率高。在5mm超窄间隙坡口的焊接中,采用焊剂带对电弧进行约束,可阻止电弧沿侧壁攀升,能有效控制电弧的加热区域,提高电弧能量密度,保证间隙侧壁的
从小生活在军营,飘扬的国旗、闪亮的五角星以及“没有共产党,就没有新中国”的歌声陪伴我长大。认识共产党员,脑海中涌现的是从课本上、故事中看到和听到的模糊的董存瑞、黄
土壤是小麦所需水、肥的主要来源,其理化性质和肥力水平对小麦的生长发育和品质的形成具有重要影响。庄巧生曾指出,土壤硝态氮的多少是决定小麦蛋白质含量的关键,小麦在形成