Subject	English	Russian
AI.	built-in logical theory	встроенная логическая теория (Alex_Odeychuk)
d.b..	logical database theory	теория логических баз данных (Alex_Odeychuk)
comp.	logical theory	логическая теория
tech.	phenomeno-logical theory	феноменологическая теория
AI.	satisfiability of logical formulas over one or more theories	выполнимость логических формул в одной и более теориях (Alex_Odeychuk)
scient.	the theory is a logical attempt to	эта теория есть логическая попытка ...