共查询到1条相似文献,搜索用时 31 毫秒
1.
C. Kalfa 《Algebra Universalis》1995,33(4):466-469
LetL=f, g be the language with two unary operation symbols. I prove that the finitely based equational theory =[f0=0] ofL covers exactly 0 others.Presented by S. Burris.Dedicated to George McNulty, my mentor in equational logic. 相似文献