Chinese Quarterly Journal of Mathematics ›› 2001, Vol. 16 ›› Issue (3): 8-13.

Previous Articles     Next Articles

The Logical Properties of Filters of Lattice Implication Algebra 

  

  1.  解放军外国语学院基础部 河南洛阳471003,西南交通大学应用数学系 四川成都610031 
  • Received:2000-06-10 Online:2001-09-30 Published:2024-05-30
  • About author:WANG Wei(1963-),male,native of Luoyang,Henan,a lecturer of PLA Foreign Language Institute, Ph.D.of Southwest Jiaotong University,engages in fuzzy mathematics. ​
  • Supported by:
    Supported by the Foundation of Southwest Jiaotong University(1999XJ06)

Abstract: 讨论了当格蕴涵代数L是完全分配格时蕴涵运算的一些性质 ,在格蕴涵代数L上引入了集合的蕴涵传递性概念 ,证明了格蕴涵代数的滤子满足蕴涵传递性和替换定理 ,即格蕴涵代数的滤子满足命题逻辑的三段论推理规则和替换定理. 

Key words:  , 格蕴涵代数, 滤子, 传递性,  ,

CLC Number: