论文部分内容阅读
正则FI-代数、Ro-代数、正则剩余格等代数结构都是非经典逻辑中基本而重要的“语义代数”,本文中，进一步研究了它们之间的密切联系．特别地，证明了强正则剩余格与弱Ro-代数是相互等价的代数结构．
关于正则剩余格与R_0^-代数的几点注记
【摘 要】
：
正则FI-代数、Ro-代数、正则剩余格等代数结构都是非经典逻辑中基本而重要的“语义代数”,本文中，进一步研究了它们之间的密切联系．特别地，证明了强正则剩余格与弱Ro-代数是相互
【机 构】
：
肇庆学院数学系
【出 处】
：
黄冈师范学院学报
【发表日期】
：
2003年6期
【基金项目】
：
广东省自然科学基金项目(02A1073)资助,,广东省高校自然科学研究项目(Z02017)资助.
其他文献
2004年,国网山东公司全面开展以服务节能减排、服务于广大人民群众为遵旨的“彩虹蓝天”行动,“彩虹蓝天”行动实施后,为我国的电能替代和节能服务做出了巨大的贡献。在彩虹
肺炎是一种老年人最常见的医院内感染,死亡率可高达25%。在医院和养老院的老年人由于难以进行个人口腔护理和及时进行口腔疾病治疗而导致较差的口腔卫生状况。不少学者认为这
道德建设是社会主义精神文明建设的重要内容.江泽民同志对道德建设作出了重要的理论贡献:升华了对道德建设重要性的认识;明确了道德建设的目标、方针和主要内容;提出了加强道
指出一类带第一特征值λ1的具临界指数的半线性椭圆方程-Δu=λ1u+|u|2*-2u零边值问题,正、负强解的不存在性及非平凡古典解存在的必要条件.
无产阶级专政理论是科学社会主义的核心内容.以毛泽东为代表的中国共产党人创造性地继承和发展了这一理论,并创立了其中国形式--人民民主专政.随着历史的演进,这一理论的内容
声乐初学者就像一张洁白的画纸，声乐教师就像绘画的工匠，所以在声乐入门阶段一定要建立起正确的发声观念才能绘画出美丽的图案。如今，报考音乐专业的考生日益增多，以声乐为主修方
220kV SF6断路器是一种广泛用于输变电系统且常被用于控制和保护电气设备的高压断路器。220kV SF6断路器作为一种开关设备，一旦发生故障或者事故，就会影响到仪器设备和电网系统