• 反Heyting代数中MT理想及其性质

    反Heyting代数中MT理想及其性质

    论文摘要将MT理想的概念引入到反Heyting代数中并对其性质进行了较为深入的研究.首先,在反Heyting代数中通过反蕴涵算子提出了MT理想的概念,讨论了MT理想的等价条件和...
  • 偏序集和半群的谱对偶理论研究

    偏序集和半群的谱对偶理论研究

    论文摘要1937年,Stone研究了布尔代数的谱,建立了布尔代数范畴和Stone拓扑空间范畴的对偶等价.接着Stone将研究对象由布尔代数推广到分配格上,证明了分配格和格同态构...