论文部分内容阅读
将MT理想的概念引入到反Heyting代数中并对其性质进行了较为深入的研究.首先,在反Heyting代数中通过反蕴涵算子提出了MT理想的概念,讨论了MT理想的等价条件和他的基本性质;其次,给出了反Heyting代数的MT理想的几种生成方法;最后,在反Heyting代数中提出了素MT理想、极大MT理想以及次极大MT理想的概念,并且讨论了这些特殊理想的性质以及相互关系.