关于内射的格蕴涵代数

来源 :数学季刊:英文版 | 被引量 : 0次 | 上传用户:D243435dsfsdfqwe
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
多值逻辑是人工智能中一个重要的研究方向。为了进一步深入研究多值逻辑,特别是真值基于格上的多值逻辑,文献「1」提出并提建立了格蕴涵代数这一逻辑代数结构,进而研究了对应的格值逻辑系统。本文则集中讨论了一类较特殊但也较广泛的格蕴涵代数,即内射的格蕴涵代数,深入探讨了这类代数和一些性质并给出了其特征结构的刻画。
其他文献
公平责任是民法的基本原则,但是在体育竞技比赛中能否适用该原则,我国法律没有明确规定。文章通过具体案列探讨了该原则的使用条件,以及法官的自由裁量权在公平责任的使用上
本文讨论了偏微分方程ut+u^3x=F(u)的初值问题广义解的整体存性及渐近性。
近年来,伴随着辽宁省农村经济的长足发展,农村金融服务机构在郊县农村的金融地位越来越突出,但随着农村金融服务机构业务范围的不断扩大,其自身的薄弱问题也逐渐暴露出来,成
SSCI:社会科学引文索引(Social Science Citation Index)收录全球1400种主要的社会科学期刊论文,共涉及50种学科领域,具体包括社会科学及行为科学、人类学、考古学、商业、财政、
本文将利用C.Gordon和J.Luecke发展起来的组合拓扑的方法来证明缆式猜想对一类特殊纽结而言是正确的。
本文利用邻 方法及Siegel mass公式对Z「1+√21/2」上秩4的正定幺模格实现了分类,得到了gen(I4)的类数为9,偶模格的类数为3,并且给了代表格。