摘要
讨论了格蕴含代数具有单调性的判定方法,对格蕴含代数的素空间的性质进行了总结,在L*-格值逻辑的语义框架下,定义了L*-格值逻辑上的直觉不分明化BCH-代数的概念,讨论了在该概念下的有关性质。并引入L集合范畴中的一些基本概念,研究了该范畴中的两种集合空间即格值函数空间与伪格值函数空间。对格值函数空间函子与格值积函子互为伴随,伪格值函数空间函子与格值并函子也互为伴随的性质进行了研究。
The methods to determine the simplicity of lattice implication algebra are discussed.Under the lattice valued logicframe,the definition of intuitionistic fuzzifying algebra is given,the properties about the intuitionistic fuzzifying algebra are discussed.Some conceptions in the category of L-Sets are introduced,too.Two kinds of functional spaces in this category are researched,which are the lattice-valued functional space and the pseudo lattice-valued functional space.The property about the lattice-valued functional space functor is a right adjoin for L-Sets is Cartesian closed,and the pseudo the lattice-valued product functor,in other words,the category of lattice-valued functional space functor is also a right adjoin for the lattice-valued join functor is researched.
出处
《宿州学院学报》
2011年第2期6-7,共2页
Journal of Suzhou University
关键词
多值逻辑
格值逻辑
格蕴含代数
Many-valued logic
Lattice-valued logic
Lattice implication algebra
