A closer look at some subintuitionistic logics
scientific article; zbMATH DE number 2038294