同余一致相关论文
在本硕士论文中，首先研究了具有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和＊由恒......
