English ⇄ Russian +

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