ABSTRACT
This is certainly an approach to propositional logic, as Stanislaw Schayer has pointed out. But it is consistent with the practical nature of such texts that while logical operations are actually performed no general rules are yet given for their performance.
