The Calculus of Partial Propositional Functions