For mixed-valued logical control systems, a necessary and sufficient condition for determining a complementary subspace of a regular subspace is proposed. A new proof of an existing criterion for regular subspaces is given and a new method to construct a complementary subspace is obtained. A new algorithm for computing friendly subspaces is designed. The concept of invariant subspace without the regularity assumption is introduced and some necessary and sufficient conditions are derived.