Sequent Calculi for Some Strict Implication Logics
R. Ishigaki, Ryo Kashima · Logic Journal of IGPL · 2007
We introduce various sequent systems for propositional logics having strict implication, and prove the completeness theorems and the finite model properties of these systems.The cut-elimination theorems or the (modified) subformula properties are proved semantically.