Unified correspondence and proof theory for strict implication

Minghui Ma, Zhiguang Zhao. Unified correspondence and proof theory for strict implication. Journal of Logic and Computation, 27(3):921-960, 2017. [doi]

Abstract

Abstract is missing.