关于格上蕴涵代数及其对偶代数

来源 :数学研究与评论 | 被引量 : 0次 | 上传用户:harrydu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
给出了格蕴涵代数、MV代数、R0代数等一些格上蕴涵代数之间的关系,并建立了它们的对偶代数.其结果描述了这些代数内部结构的特征,同时也为从语义的角度进一步研究格值逻辑系统提供了一个新的途径。
其他文献
新疆是中国的荒漠化大区之一,也是中国最大的盐土区,而这一特殊环境的植被可以作为重要的植物资源。在众多植物品种中,有哪些品种能适应新疆的盐渍化环境,适应能力如何,探明
▲8月1日—3日省人民银行在杭州召开全省行长会议。会议要求全省各级人民银行以邓小平同志南巡重要谈话为指导,进一步解放思想,真抓实干,努力开创金融工作新局面,把工作重点
本文证明了若半∑准投射模是弱n满投射的,则其自同态环的稳定秩至多为礼,从而部分推广了文献[3]的—个主要结果.
普朗铜矿是新建矿山,采用自然崩落法采矿,开采规模大,工艺复杂,生产矿量管理没有标准。在收集矿床平、剖面图及钻探、坑探数据的基础上,依托DIMINE软件平台,创建矿体三维实体
为全面贯彻落实党的十八大、十八届三中、四中、五中全会精神和中央党的群团工作会议精神,深入学习贯彻习近平总书记系列重要讲话精神,在全社会弘扬尊重劳动、尊重知识、尊重人
考虑微分方程x+g(x)=p(t),其中g(x)∈C^1(R),p(t)∈C(R)为2π周期函数,本文在假设g^t(x)<0条件下,完整地给出周期解的存在唯一性的充分与必要性条件,并在g^1(x)≤a<1时给出周期
本文讨论了一类广义Fisher方程,得到了它的多个显式行波解。
本文运用了比较新的手法,证明了非线性微分系统{dx/dt=1/a(x)[c(y)-b(x)] dy/dt=-a(x)[h(x)-e(t)](其中a(x),b(x),h(x),c(y),e(t)为连续可微函数,x,y∈R,t∈[0,+∞),且a(x)>0解的有
资金的合理供给是经济稳定增长的保证。当前资金的供求矛盾已十分突出,怎么办?中央给的方针是“控制总量、调整结构”,关键是金融部门如何去理解、去落实。在前一段工作过程
我曾经做过当记者的美梦。因为能用自己的一支笔,写下人间的一切美好和丑陋,让正义伸扬,使罪恶曝光。我也曾有过当法官的梦想。因为他能用法律这根戒尺度量是非曲直,使犯罪者