This is a preview. Log in through your library . Abstract The manipulations of the propositional calculus (and the analogous Boolean algebra) have recently become of fundamental importance in fields ...