期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
L^*-Lindenbaum代数的结构与L^*公理系统的简化形式 被引量:15
1
作者 何颖俞 王国俊 《工程数学学报》 CSCD 北大核心 1998年第1期1-8,共8页
证明了L*-Lindenbaum代数[F]是具有逆序对合对应的有界分配格,得出了L*中的公理系统的一种简化形式.
关键词 系统L^* L^*-Lindenbaum代 独立性 逆合对应 有界分配格 典型商代数
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部