Kybernetika 10 no. 1, 13-43, 1974

A generalization of the propositional calculus for purposes of the theory of logical nets with probabilistic elements