排序方式: 共有2条查询结果,搜索用时 15 毫秒
1
1.
2.
L^*-Lindenbaum代数的结构与L^*公理系统的简化形式 总被引:9,自引:0,他引:9
证明了L^*-Lindenbaum代数[F]是具有逆序对台对应的有界分配格.得出了L^*中的公理系统的一种简化形式. 相似文献
1