The aticle discusses the linearity of every quasi-state elements in type 1 C-algebras. It proves the positive quasi-linear functionals in the works of Andrew Gleason's theorem on quantum logic which expresses the linearity if quasi-states. Also, it investigates the additive on nearly commuting self-adjoin elements of quasi-states.