基于常规Ⅳ模糊集合包含序(∈),引入格蕴涵代数的由一个Ⅳ模糊集生成的(∈,∈∨q)-Ⅳ模糊LI理想概念并考察其结构性质.建立并证明......

近四十年来，由于不确定性推理在控制系统中的广泛应用，关于不确定性推理的逻辑基础-非经典逻辑理论的研究更加引起了人们广泛的关注......

本文的主要工作分两部分内容：格蕴涵代数的构造理论； L-fuzzy双拓扑基于一个L-fuzzy拓扑的表述和构造理论． 一、格蕴涵代数方面 ......

Zadeh在文[1]中引入Fuzzy集概念之后,这一概念被Goguen[2]推广,真值域由单位闭区间被更一般的格所代替.Rosenfeld[3]将Zadeh的思想......

从逻辑的角度,将非经典逻辑之一的格值逻辑引入概念格,建立了格值模糊形式背景,通过格结构来刻画对象与属性之间的模糊关系,证明了......

归结自动推理是人工智能领域的一个重要研究方向.以格蕴涵代数为真值域的格值逻辑中的α-归结方法提供了一种处理带有模糊性和不可......

引入了单体二阶格值逻辑,进而给出了基于格值逻辑的有穷自动机识别语言的逻辑描述,证明了格值逻辑意义下的Buchi-Elgot基本定理.通......