在OFL系统中:
( l ) 文字具有形式λ1…λnP,其中λ1是算子,P是二值逻辑中的原子,故OFL 中公式的解释和二值公式的解释相同;
( 2 ) 一般地λ1…λnP (λ1·λ2·…·λn)P;
( 3 ) 算子格中的运算·,可以取做算术平均值运算。
由于在OFL系统中,λ1…λnP (λ1·λ2·…·λn)P ,因此,在OFL中引进归结原理时便遇到麻烦。另外,将算子运算理解为证据的积累似为合理,基于这些考虑,刘叙华教授于1990年 7 月对原 OFL 系统作了改进(我们称为狭义算子模糊逻辑),并且提出了结合算子格、α——解释及λα——恒假的概念。狭义算子模糊逻辑是建立在特殊结合 算子格([0,1] , ≤)上的。 .2100433B