 |
| Russian | English |
| многосортная логика | many-sorted logic (в многосортной логике с каждой переменной связывается собственное множество её возможных значений, тогда как в односортной логике все переменные, принадлежащие к одному и тому же типу, имеют одинаковую область пробега Alex_Odeychuk) |
| многосортная логика первого порядка | many-sorted first-order logic (Alex_Odeychuk) |
| многосортное пропозициональное исчисление | many-sorted propositional calculus (Alex_Odeychuk) |