一种构造格蕴涵代数的方法 (2006年)

格蕴涵代数是一种重要的逻辑代数，可以分别刻画真值的可比较性和不可比较性，从而形象地描述人类的思维活动。因此，构造新的格蕴涵代数对人工智能的研究具有重要意义。提出了格蕴涵同态像的概念，证明了格蕴涵同态像是格蕴涵代数；并通过已有的格蕴涵同态映射，得到构造格蕴涵代数的新方法。