格蕴涵代数的一个简化公理系

来源 :黄冈师范学院学报 | 被引量 : 0次 | 上传用户:hawk327
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
将格蕴涵代数的公理系由原来的 1 9条公理简化为 7条公理 ,从而为检验一个 (2 ,2 ,2 ,1 ,0 ,0 )型代数是否为格蕴涵代数提供了方便
其他文献
随着全球化和中国经济的飞速发展,中国有关银行的零售业务已经全面向外资银行进行了开放,同时城市商业银行和农村商业银行也不断兴起。因此,各大商业银行都面临着来自国内外
两岸四地经贸往来的密切程度反映了中国大陆区域经济与单独关税区经济的联系与互动程度。港澳台商直接投资(下文简称港澳台投资)作为其经贸的重要部分,更要重视其促进大陆(内地)经济社会发展和技术创新方面的积极作用。因此,这一现实要求相关研究者探讨大陆(内地)各经济区的发展状况要将港澳台投资考虑其中。港澳台投资在投资实务上遵循外商直接投资(Foreign Direct Investment,简称FDI)同等
本文对位于塔里木盆地北缘库尔勒铁门关地区高级变质岩中的锆石进行了U-Pb年代学研究。研究结果表明,铁门关地区的变质岩由片麻岩、片岩、角闪岩和钙硅酸盐组成,普遍经历了角
目的了解住院患者约束带使用过程中的安全情况,以制定针对性管理对策。方法采用自制住院患者使用约束带安全情况调查表,对100例使用约束带的住院患者进行调查。结果 100例中
近些年来,随着世界经济的高速发展,各行业领域的市场竞争活动也愈发残酷。自中国加盟WTO之后,国内钢材市场开始面临新一轮的发展机遇。这使得国内的钢材产量飞速增长,甚至造
桩23北区位于山东省东营市河口区东北部潮间沼泽地带,为典型多薄层,具有低孔低渗,小层众多,储隔层物性差异大,开采难度大等特点,常采用笼统压裂或分层压裂进行增产。该区压裂
线性变换是一个抽象的概念,求一个线性变换的秩是一个难点,而每一个线性变换在一组基下都对应一个矩阵,矩阵的秩容易求.本文给出了线性变换的秩与其对应矩阵的秩的关系及其应
在南苏鲁东海地区,部分超高压榴辉岩中的变斑晶石榴石具有复杂的生长成分环带和多期矿物包体组合,它们记录了超高压变质岩的多阶段变质演化过程,即绿帘角闪岩相进变质、柯石
针对目前典型活齿传动多采用双排激波器的结构形式致使传动系统运动链加长、传动效率降低的问题,提出圆柱正弦活齿传动这一具有自平衡能力的新型活齿传动.对圆柱正弦活齿传动
在当前的中职教育教学中,不仅更加注重学生的健康人格培养,而且还在各学科中展开了多元化的创新教学探索。其中,中职语文教学对此具有得天独厚的应用优势,因其既能结合教材知