首先研究了Kleene-Stone代数的由素滤子生成的同余关系的性质,然后在此基础上给出了Kleene-Stone代数的分类,最后证明了对每个KS-n代数L(n),存在一个商代数L(n)/~嵌入于有限的KS-n代数Ω(n)中.
数学研究
2002年4期