Terms for subject Logic containing logic

English	Russian
algebro-logic	алгебрологический
concurrent separation logic	параллельная логика разделения (версия логики, применимая для верификации параллельных вычислений с общей памятью Alex_Odeychuk)
dialectical logic	диалектическая логика
distributed-logic	с распределённой логикой (Alex_Odeychuk)
first order logic formalism	формализм логики первого порядка (quantifiers Alex_Odeychuk)
first-order logic-based formalism	формализм логики первого порядка (quantifiers Alex_Odeychuk)
force of logic	сила логики (Alex_Odeychuk)
formula of first-order logic	формула логики первого порядка (Alex_Odeychuk)
fuzzy logic	нечётко-логический (Alex_Odeychuk)
fuzzy logic	размытая логика
fuzzy logic	нечёткая логика
fuzzy logic operation	нечётко-логическая операция (Alex_Odeychuk)
Godel logics	гёделева логика (Alex_Odeychuk)
in the fuzzy logic domain	в области нечёткой логики (Alex_Odeychuk)
infer the underlying logic	понять внутреннюю логику (чего-либо, напр., событий, алгоритма, системы Alex_Odeychuk)
logic of bunched implications	логика пучковых импликаций (Alex_Odeychuk)
logic output	логический вывод (Pothead)
logic processing system	система логико-вычислительной обработки (Alex_Odeychuk)
logic statement	логическое утверждение (Pothead)
many-sorted first-order logic	многосортная логика первого порядка (Alex_Odeychuk)
many-sorted logic	многосортная логика (в многосортной логике с каждой переменной связывается собственное множество её возможных значений, тогда как в односортной логике все переменные, принадлежащие к одному и тому же типу, имеют одинаковую область пробега Alex_Odeychuk)
non-axiomatic logic	неаксиоматическая логика (Alex_Odeychuk)
paraconsistent logic	паранепротиворечивая логика (bryu)
predicate logic with equality	логика предикатов с равенством (Alex_Odeychuk)
problem solving in the fuzzy logic domain	решение задач в области нечёткой логики (Alex_Odeychuk)
relational logic	реляционная логика (Alex_Odeychuk)
separation logic	сепарационная логика (Alex_Odeychuk)
shared-logic	с разделением логики (Alex_Odeychuk)
this defies logic	это противоречит логике (Washington Post Alex_Odeychuk)
unsupported by evidence or logic	не подтверждаемый логикой и доказательствами (Alex_Odeychuk)
well-defined logic	чётко определённая логика (Alex_Odeychuk)