Suzuki, N.-Y. Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics. B Sect Log 2017, 46, 93–109.