Nobu-Yuki Suzuki Halldén-Completeness in Super-Intuitionistic Predicate Logics. 113-130 2003 73 Studia Logica 1 db/journals/sLogica/sLogica73.html#Suzuki03