论文部分内容阅读
通过关联BCK-代数主滤子概念,建立了BCK-代数与立体格公理系统的联系,同时应用该联系给出了M-R公开问题一个肯定的答复。
关于BCK-代数的一个应用问题
【摘 要】
：
通过关联BCK-代数主滤子概念,建立了BCK-代数与立体格公理系统的联系,同时应用该联系给出了M-R公开问题一个肯定的答复。
【机 构】
：
绵阳师范高等专科学校数学系绵阳621000
【出 处】
：
绵阳师范学院学报
【发表日期】
：
1998年S2期
其他文献
<正>11月27日,市直机关工委在市发改委五楼会议室组织举办了一次践行社会主义核心价值观先进事迹报告会。枣园供电所所长王龙、市国税系统干部张力芳、市城管系统干部庞军、
<正>陕政办发[2015]88号各市、县、区人民政府,省人民政府各工作部门、各直属机构:为贯彻落实《国务院办公厅关于支持农民工等人员返乡创业的意见》(国办发[2015]47号)精神,
<正>延政发[2015]12号关于规范行政审批行为改进行政审批有关工作的通知延政发[2015]14号关于进一步做好新形势下就业创业工作的实施意见延政办发[2015]38号关于认真搞好延安
期刊
目的研究老年冠状动脉粥样硬化性心脏病患者应用丹参多酚酸盐前后其高密度脂蛋白（HDL）对内皮细胞内皮细胞增殖及迁移的影响O方法稳定型心绞痛老年冠心病患者50例为实验组，抽取其
<正>延政办发[2015]8号各县区人民政府,市政府各有关工作部门:近期我市安塞县发生一起地质灾害崩塌事故,给人民群众生命财产安全造成严重损失。为了有效防范此类事故再次发生
<正>延政办发[2015]23号各县区人民政府,市政府各工作部门、各直属机构:《延安市公安局交通警察支队高速公路大队主要职责内设机构和人员编制规定》已经市政府同意,现印发给
目的系统评价职业紧张对高血压患病的影响。方法计算机检索Cochrane Library、Pub Med、EMBASE、CNKI、CBM、维普、万方数据库中截至2015年10月发表的有关职业紧张对高血压患
在关于农作物的生产栽培技术当中,无公害栽培管理技术是价值比较高的一类技术,但是在技术的应用推广普及方面遇到了一些难题,为积极推广这一技术,我们要为无公害农作物的栽培
目的分析妇产科护理过程中发生感染的原因,提出相应护理方案,观察护理效果。方法选取本院收治的妇产科产妇64例作为样本,将其随机分为干预组与对照组。对照组采用常规方法护
1.问题诊断高等农业教育依靠国家的经济实力求发展,又以农业科技促进农村经济的增长.农村经济体制发生深刻变革后,其产业结构、生产方式、管理方式已经发生显著变化,而长期定