格值逻辑系统的现状研究  

The Present Condition of the Lattice-valued Logic System

作　　者：束媛媛[1] 周玉凤[1] 

机构地区：[1]淮北师范大学数学科学学院,安徽淮北235000

出　　处：《宿州学院学报》2011年第2期6-7,共2页Journal of Suzhou University

摘　　要：讨论了格蕴含代数具有单调性的判定方法,对格蕴含代数的素空间的性质进行了总结,在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.

关 键 词：多值逻辑 格值逻辑 格蕴含代数 

分 类 号：O14[理学—数学]