摘要
在布尔算子Ｆｕｚｚｙ逻辑中证明了任意公式Ｇ是λ－恒假的，当且仅当Ｇ所对应的子句集Ｓ是λ－恒假的。进而有子句集Ｓ是λ－恒假的，当且仅当Ｓ在其所有Ｈｅｒｂｒａｎｄ解释下是λ－恒假的，从而保证了在布尔算子Ｆｕｚｚｙ逻辑中施行归结的正确性．
It is proved that any formula G in Boolean operator fuzzy logic is λ-unsatisfiable if and only if TI(S)≤λ for any Herbrand interpretation I of S.The resolution principle can thus be applied in Boolean operator fuzzy logic.
出处
《东北师大学报（自然科学版）》
CAS
CSCD
1995年第2期28-30,共3页
Journal of Northeast Normal University(Natural Science Edition)
关键词
λ-恒假
归强
布尔代数
算子模糊逻辑
Boolean operator fuzzy logic
λ-unsatisfiable
Herbrand interpretation
resolution
