同余一致相关论文
在本硕士论文中,首先研究了具有Heyting结构的Ockham代数(L;∧,∨,→,f,0,1)。其中(L;∧,∨,f,0,1)是Ockllam代数,(L;∧,∨,→,0,1)是Heyting代数,而且......
一个平衡半拟补Ockham代数(简称bdpO-代数)是一个〈2,2,1,1,0,0〉类型的代数(L;A,V,f,*,0,1)。其中(L;f)是Ockham代数,(L;*)是半拟补代数,且一元运算f和*由恒......