布尔算子Fuzzy逻辑公式的λ—恒假性 |
| |
引用本文: | 邓安生,张军.布尔算子Fuzzy逻辑公式的λ—恒假性[J].东北师大学报(自然科学版),1995(2):28-30. |
| |
作者姓名: | 邓安生 张军 |
| |
摘 要: | 在布尔算子Fuzzy逻辑中证明了任意公式G是λ-恒假的,当且仅当G所对应的子句集S是λ-恒假的。进而有子句集S是λ-恒假的,当且仅当S在其所有Herbrand解释下是λ-恒假的,从而保证了在布尔算子Fuzzy逻辑中施行归结的正确性。
|
关 键 词: | λ-恒假 归强 布尔代数 算子模糊逻辑 |
本文献已被 维普 等数据库收录! |
|