A partial solution to Ono’s problem P54 is given. Here Ono’s problem P54 is whether Harrop disjunction property is equivalent to disjunction property or not in intermediate predicate logics. As an application of this result it is shown that some intermediate predicate logics satisfy Harrop disjunction property.

中文翻译：

---

论中间谓词逻辑中的 Harrop 析取性质

给出了小野问题 P54 的部分解决方案。这里小野的问题P54是Harrop析取性质是否等价于中间谓词逻辑中的析取性质。作为该结果的应用，表明一些中间谓词逻辑满足 Harrop 析取性质。