On the logical structure of some value systems of classical economics: Marx and Sraffa