证明了具有析取性质的软代数所对应的拓扑空间是含有一个对合同胚的布尔空间，由此得到一个软代数具有析取性质的充要条件是它的每个......

矩阵δ（n,d,k）c是二元叠加码δ（n,d,k）的补阵,利用有限域F2上向量的计算法则研究了二元叠加码δ（n,d,k）c的线性性质并证明了矩阵δ（n,d,k）c......

有关模态逻辑的自然演绎虽不是模态逻辑研究主流之一，也比不上模态逻辑语义研究的红火，但这也是模态逻辑的一种研究传统——语形和证......