In this paper, I consider a family of three-valued regular logics: the well-known strong and weak S. C. Kleene’s logics and two intermediate logics, where one was discovered by M. Fitting and the other one by E. Komendantskaya. All these systems were originally presented in the semantical way and based on the theory of recursion. However, the proof theory of them still is not fully developed. T...