Suzuki, N.-Y. (2017) “Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics”, Bulletin of the Section of Logic, 46(1/2), pp. 93–109. doi: 10.18778/0138-0680.46.1.2.08.