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