Suzuki, Nobu-Yuki. “Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics”. Bulletin of the Section of Logic 46, no. 1/2 (June 30, 2017): 93–109. Accessed May 18, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/2932.