Suzuki N-Y. Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics. B Sect Log [Internet]. 2017 Jun. 30 [cited 2024 May 18];46(1/2):93–109. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/2932