1. Could you give a link to a definition of the Post production system? Does Post canonical system sound similar?
2. Is the empty string a wff and theorem? If so, then it should probably be the axiom.
3. I don't see where the problem statement says that all A's must follow B's.