共查询到20条相似文献,搜索用时 703 毫秒
1.
2.
3.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
R0-代数是基于系统研究形式演绎系统∫^*而提出的一类逻辑代数.本文证明了一个R0-代数的所有MP-滤子所成的集合分别构成一个Brouwer格、一个伪补分配格和一个Dedikind格. 相似文献
15.
16.
17.
《Teaching and Teacher Education》2002,18(7):905-911
18.
19.
20.