Камиль Ибрагимович Бахтияров (род. 21.06.1934, Москва) — специалист по логике; кандидат технических наук, доктор философских наук, профессор.

Окончил Моск. инж.-строительный институт (1957) и механико-матем. факультет МГУ (1965). С 1971 преподаватель, затем доцент кафедр высшей математики Военно-инж. академии и Военной академии хим. защиты. Профессор кафедры высшей математики Моск. института инженеров с.-х. производства. Докт. дисс. — "Многоаспектный подход в логике" (1989). Основным направлением иссл. Б. является разработка метода арифметиза-ции логики, позволяющего дать решение проблемы Лейбница — сведения умозаключений к вычислению. Новым является введение логических векторов для представления булевых конституент, компоненты которых записываются в троичной системе счисления. Метод арифметизации был реализован в компьютерных программах: БУЛЬ — для минимизации булевых нормальных форм, КЭРРОЛЛ — для решения аристотелевых силлогизмов и СОРИТ — для решения соритов с многими терминами.

источник