L-fuzzy群理论的数理逻辑基础

Zadeh在文[1]中引入Fuzzy集概念之后,这一概念被Goguen[2]推广,真值域由单位闭区间被更一般的格所代替。Rosenfeld[3]将Zadeh的思想引入到群论中,提出Fuzzy群概念,真值域为格的Fuzzy群被称为L-fuzzy群[4]。本文的目的是用数理逻辑的语言陈述L-fuzzy群理论,构造L-fuzzy群的形式数学系统,从而建立L-fuzzy群理论的数理逻辑基础。