Suzuki, N.-Y. Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics. B Sect Log 2017, 46 (1/2), 93–109. https://doi.org/10.18778/0138-0680.46.1.2.08.