K_0, RELATIVE DIMENSION AND THE C*-ALGEBRAS OF POST LOGIC