Dual-context sequent calculus and strict implication
scientific article; zbMATH DE number 1716769