English ⇄ Russian +

positive propositional calculus stresses
math.	позитивное пропозициональное исчисление; позитивное исчисление высказываний