У роботі розглянуто багатовимірні логіки та їх використання в поєднанні з класичними lambda-численням. Описано принцип застосування методом lambda-теорії до складних та нечітких логічних систем при розв"язанні логічних рівнянь та запропоновано прагматичні моделі для їх використання.