Terms containing propositional calculus

Subject	English	Russian
math.	alphabet of propositional calculus	алфавит исчисления высказываний
math.	alphabet of propositional calculus	алфавит нулевого порядка
math.	classical propositional calculus	классическое исчисление высказываний
math.	classical propositional calculus	классическое пропозициональное исчисление
math.	constructive propositional calculus	конструктивное исчисление высказываний
math.	constructive propositional calculus	конструктивное пропозициональное исчисление
math.	extended propositional calculus	расширенное исчисление высказываний, расширенное пропозициональное исчисление
logic	many-sorted propositional calculus	многосортное пропозициональное исчисление (Alex_Odeychuk)
math.	minimal propositional calculus	минимальное исчисление высказываний
math.	minimal propositional calculus	минимальное пропозициональное исчисление
math.	modal propositional calculus	модальное исчисление высказываний
math.	modal propositional calculus	модальное пропозициональное исчисление
math.	multivalued propositional calculus	многозначное исчисление высказываний
math.	multivalued propositional calculus	многозначное пропозициональное исчисление
math.	partial propositional calculus	частное исчисление высказываний
math.	partial propositional calculus	частное пропозициональное исчисление
math.	positive propositional calculus	позитивное исчисление высказываний
math.	positive propositional calculus	позитивное пропозициональное исчисление
math.	proper propositional calculus	собственное исчисление высказываний
math.	proper propositional calculus	собственное пропозициональное исчисление
math.	propositional calculus	исчисления высказываний
logic	propositional calculus	пропозициональное исчисление
tech.	propositional calculus	исчисление высказываний
math.	two-valued propositional calculus	двузначное исчисление высказываний (классическое)
math.	two-valued propositional calculus	двузначное пропозициональное исчисление (классическое)