Throughout section 3 text is a little confused (or confusing) about what system exactly it wishes to call “propositional calculus”. Different calculi presented throughout section 3 are potential references for the term “propositional calculus”. A single meaning does seem to have been achieved by the end of section 3 (on p 82).