Terms for subject Logic containing исчисление

Russian	English
многосортное пропозициональное исчисление	many-sorted propositional calculus (Alex_Odeychuk)
пропозициональное исчисление	propositional calculus
флюэнтное исчисление	fluent calculus (Alex_Odeychuk)