- 相关推荐
基于有限格蕴涵代数的格值命题逻辑语义系统
以有限格蕴涵代数作为逻辑系统的真值域,在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统.研究了在A水平上系统的赋值和公式的可满足性等基本定义,证明了系统"有效性"的可判定性并给出了判定算法.
作 者： 马骏 秦克云 徐扬 作者单位： 西南交通大学应用数学系,四川,成都,610031 刊 名： 西南交通大学学报 ISTIC EI PKU 英文刊名： JOURNAL OF SOUTHWEST JIAOTONG UNIVERSITY 年，卷(期)： 2002 37(5) 分类号： O141.1 关键词： 多值逻辑 逻辑代数 格蕴涵代数【基于有限格蕴涵代数的格值命题逻辑语义系统】相关文章：
有限单纯格蕴涵代数04-26
格蕴涵代数的拓扑结构04-27
格值正则语言的代数性质04-28
格蕴涵代数中的直觉模糊关联滤子04-29
Z-代数格和Z-代数交结构04-26
基于完全剩余格值逻辑上的不分明化环04-28
二值命题逻辑中有限理论的α-结论04-26
N-半单代数中的剩余格结构04-29
弗雷格的语义学及其本质特征04-29
分形插值与拉格朗日插值的比较研究04-26