Sequent Calculi for $${\mathsf {SCI}}$$ SCI
Szymon Chlebowski · Studia Logica · 2017
In this paper we are applying certain strategy described by Negri and Von Plato (Bull Symb Log 4(04):418–435, 1998 ), allowing construction of sequent calculi for axiomatic theories, to Suszko’s Sentential calculus with identity . We describe two calculi obtained in this way, prove that the cut rule, as well as the other structural rules, are admissible in one of them, and we also present an example which suggests that the cut rule is not admissible in the other.