首页 | 本学科首页   官方微博 | 高级检索  
     检索      

格蕴涵代数中滤子的若干性质
引用本文:王学芳,徐扬,宋振明.格蕴涵代数中滤子的若干性质[J].西南交通大学学报,2001,36(5):536-539.
作者姓名:王学芳  徐扬  宋振明
作者单位:西南交通大学应用数学系
基金项目:国家自然科学基金项目(60074014, 69874033)
摘    要:首先给出了滤子的几个等价条件,接着定义了固执滤子,证明了固执滤子,极大关联滤子,极大正关联滤子相互等价,得出了越滤是固执滤子及固执滤子是索滤子的结论。最后通过蕴涵同态给出了格蕴涵代数L的固执滤子的一个等价条件,即对任意一个格蕴涵代数L′,总存在一个从L到L′蕴涵同态,使这个滤子就是同态的对偶核。

关 键 词:超滤  固执滤子  格蕴涵代数  格值命题逻辑系统  蕴涵同态  极大关联滤子
文章编号:0258-2724(2001)05-0536-04

Some Properties of Filters in Lattice Implication Algebras
WANG Xue fang,XU Yang,SONG Zhen ming.Some Properties of Filters in Lattice Implication Algebras[J].Journal of Southwest Jiaotong University,2001,36(5):536-539.
Authors:WANG Xue fang  XU Yang  SONG Zhen ming
Abstract:
Keywords:ultrafilter  homomorphism  filter  lattice implication algebra
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号