Axiomatization of some basic and modal Boolean connexive logics
scientific article; zbMATH DE number 7462130