We show that the Gentzen-style classical logic LKT, as presented in Danos et al.(1993), can be considered as the classical call-by-name (CBN) calculus. First, we present a new term calculus for LKT which faithfully simulates cut-elimination procedure, namely tq-protocol. Then, we give a translation of Parigot's -calculus. This translation can be seen as the classical extension to the Plotkin's ...