Sequent Calculi for Visser's Propositional Logics
Katsumasa Ishii, Ryo Kashima, Kentaro Kikuchi · Notre Dame Journal of Formal Logic · 2001
This paper introduces sequent systems for Visser's two propositional logics: Basic Propositional Logic (BPL) and Formal Propositional Logic (FPL). It is shown through semantical completeness that the cut rule is admissible in each system. The relationships with Hilbert-style axiomatizations and with other sequent formulations are discussed. The cut-elimination theorems are also demonstrated by syntactical methods.