1) λ-resolution and lock resolution strategies
λ-归结和锁归结策略
2) Resolution strategy
归结策略
3) λ-resolution
λ-归结
1.
This paper defines an operator proposition logic only with proposition atom and proposition operator,then discuss its consistency,completeness of λ-resolution and many logic properties.
定义一种只带原子命题以及命题算子的算子命题逻辑,讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。
2.
We have defined λ-resolution in this system and have proved its consistence and completeness of λ-resolution.
在算子模糊逻辑系统中,定义了λ-归结,证明了λ-归结的相容性以及基于λ-归结的归结推理的完备性,为基于逻辑的不确定性推理提供了新的思路与方法。
3.
This paper first defines a fuzzy logic only with fuzzy literals and fuzzy operator, then discuss its consistency, completeness of λ-resolution and its many logic properties.
定义一种只带模糊文字以及模糊算子的模糊逻辑,讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。
4) resolution principles and strategies of the granulations
粒归结原理和策略
5) generalized lock resolution
广义锁归结
6) lock resolution
锁分解;锁归结
补充资料：归结
①总括而求得结论：原因很复杂，～起来不外三个方面。②结局：这件事儿总算有了一个～。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条