中界元相关论文
给出了格值命题逻辑系统L9P（X）上的放缩原理和放缩归结原理，基于放缩归结原理，给出了一种判断，L9P（X）上子句集S为M-可满足的自动推理算法（......
讨论格蕴涵代数的一些格论性质,证明不存在含中界元的非链的有限格蕴涵代数,为进一步讨论由语言真值构成的格蕴涵代数的结构提供条......
对R0代数作进一步研究,证明了有限的非全序R0代数至少存在两个不同的分子和原子,引入并讨论了R0代数中界元的性质,得到了非全序R0......
在格值命题逻辑系统L2n＋1P（X）上，提出了半正则的正广义文字和半正则的负广义文字的概念，进一步给出了半正则广义子句和半正则广义予句集......
