在本硕士论文中，首先研究了具有Heyting结构的Ockham代数(L；∧，∨，→，f，0，1)。其中(L；∧，∨，f，0，1)是Ockllam代数，(L；∧，∨，→，0，1)是Heyting代数，而且......