讨论了格蕴含代数具有单调性的判定方法,对格蕴含代数的素空间的性质进行了总结,在L*-格值逻辑的语义框架下,定义了L*-格值逻辑上的直觉不分明化BCH-代数的概念,讨论了在该概念下的有关性质.并引入L集合范畴中的一些基本概念,研究了该范畴中的两种集合空间即格值函数空间与伪格值函数空间.对格值函数空间函子与格值积函子互为伴随,伪格值函数空间函子与格值并函子也互为伴随的性质进行了研究.
多值逻辑 格值逻辑 格蕴含代数