Terms for subject Logic containing logic

English	Russian
first order logic formalism	формализм логики первого порядка (quantifiers Alex_Odeychuk)
first-order logic-based formalism	формализм логики первого порядка (quantifiers Alex_Odeychuk)
fuzzy logic operation	нечётко-логическая операция (Alex_Odeychuk)
in the fuzzy logic domain	в области нечёткой логики (Alex_Odeychuk)
logic-based reasoning task	задача на логическое мышление (infoq.com Alex_Odeychuk)
logic of bunched implications	логика пучковых импликаций (Alex_Odeychuk)
logic output	логический вывод (Pothead)
logic processing system	система логико-вычислительной обработки (Alex_Odeychuk)
logic statement	логическое утверждение (Pothead)
predicate logic with equality	логика предикатов с равенством (Alex_Odeychuk)
problem solving in the fuzzy logic domain	решение задач в области нечёткой логики (Alex_Odeychuk)
show-stopper logic error	грубая логическая ошибка (Alex_Odeychuk)