sentence1: in this paper , we will make use of the propositional fragment of the focused sequent calculus system for classical logic defined in .
sentence2: in this paper , we will make use of the classical focused sequent calculus system defined in .