关于蕴含格的一些注记

本文证明了当蕴含格作为L-代数时,其L-理想格和L-同余格是同构的以及L-同余格与它作为蕴含格的同余格也是同构的。进一步给出了Heyting代数中同余关系更一般的简化。

格值逻辑系统的现状研究

讨论了格蕴含代数具有单调性的判定方法,对格蕴含代数的素空间的性质进行了总结,在L*-格值逻辑的语义框架下,定义了L*-格值逻辑上的直觉不分明化BCH-代数的概念,讨论了在该概念下的有关性质。并引入L集合范畴中的一些基本概念,研究了该范畴中的两种集合空间即格值函数空间与伪格值函数空间。对格值函数空间函子与格值积函子互为伴随,伪格值函数空间函子与格值并函子也互为伴随的性质进行了研究。