摘要
R0 -代数是基于系统研究形式演绎系统 而提出的一类逻辑代数 .本文证明了一个R0 -代数的所有MP -滤子所成的集合分别构成一个Brouwer格。
R_0-algebra is a class of logic algebra based on a systematic research on the formal deductive system ~*. This paper shows that the set of all MP-filter of an R_0-algebra does a Brouwerian lattice a pseudo-complemented distributive lattice and a Dedikind lattice, respectively.
出处
《南平师专学报》
2004年第2期1-4,共4页
Journal of Nanping Teachers College
基金
国家自然科学基金资助项目 ( 69972 0 3 6)
福建省教育厅自然科学基金资助项目 (JA0 3 164 )