作者：刘用麟滤子brouwer格形式演绎系统伪补分配格逻辑代数系统研究集合
摘要：R0-代数是基于系统研究形式演绎系统∫*而提出的一类逻辑代数.本文证明了一个R0-代数的所有MP-滤子所成的集合分别构成一个Brouwer格、一个伪补分配格和一个Dedikind格.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《武夷学院学报》（CN：35-1293/G4）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《武夷学院学报》始终坚持的办刊宗旨是：推出学术精品、促进学术交流、催生科研成果，扶植学术新人，繁荣科学文化。
省级期刊
人气 536276 评论 49
人气 400400 评论 51
人气 383380 评论 44
人气 362611 评论 56
