期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
格蕴涵代数中滤子的若干性质 被引量:4
1
作者 王学芳 徐扬 宋振明 《西南交通大学学报》 EI CSCD 北大核心 2001年第5期536-539,共4页
首先给出了滤子的几个等价条件 ,接着定义了固执滤子 ,证明了固执滤子 ,极大关联滤子 ,极大正关联滤子相互等价 ,得出了超滤是固执滤子及固执滤子是素滤子的结论。最后通过蕴涵同态给出了格蕴涵代数L的固执滤子的一个等价条件 ,即对任... 首先给出了滤子的几个等价条件 ,接着定义了固执滤子 ,证明了固执滤子 ,极大关联滤子 ,极大正关联滤子相互等价 ,得出了超滤是固执滤子及固执滤子是素滤子的结论。最后通过蕴涵同态给出了格蕴涵代数L的固执滤子的一个等价条件 ,即对任意一个格蕴涵代数L′,总存在一个从L到L′蕴涵同态 ,使这个滤子就是同态的对偶核。 展开更多
关键词 固执 格蕴涵代数 格值命题逻辑系统 蕴涵同态 极大关联滤子
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部