Кафедра математической логики Болгарской академии наук была создана Институтом математики и информатики во исполнение Постановления правительства № 236 от 3 ноября 1959 года.
Его первым председателем был Боян Петканчин (1907–1987), который занимался популяризацией и распространением знаний математической логики как в профессиональном математическом сообществе Болгарии , так и в научно-популярном плане .
Владимир Сотиров и Радослав Павлов присоединились к отделу в 1970 году, за ними последовали Георгий Гаргов, Анатолий Буда, Любомир Иванов , Славян Радев и Соломон Пасси в 1976-89 годах. В 1996-2000 годах к отделу присоединились Димитр Добрев, Йордан Зашев и Димитр Гелев.
С 1971 по 1989 год кафедра была объединена с соответствующим подразделением факультета математики и информатики Софийского университета , а с 1971 года интегрированную структуру возглавил Димитр Скордев. В 1989 году институциональные отношения с Софийским университетом были разорваны, и кафедра возобновила свою деятельность как подразделение Института математики и информатики, которым с тех пор руководит Любомир Иванов .
Логики Богдан Дянков, Христо Смоленов , Веселин Петров и Марион Мирчева работали на кафедре в течение различных периодов времени. Все они пришли из Института философии Болгарской академии наук после того, как последняя была распущена из-за диссидентской деятельности ее членов в 1989 году.
Исследования кафедры в основном в области алгебраической рекурсивной теории , модальной , временной и других неклассических логик , а также логического программирования, включая разработку версии языка программирования Prolog . Кафедра также разработала Streamlined System, принятую в качестве официальной национальной системы для романизации болгарского языка , и в конечном итоге кодифицированную Болгарским законом о транслитерации в 2009 году. Совместный многоинституциональный проект, возглавляемый кафедрой, способствовал разработке и внедрению новой болгарской фонетической раскладки клавиатуры для персональных компьютеров и мобильных телефонов .
Помимо своей исследовательской деятельности, члены кафедры имеют обширную практику преподавания на различных факультетах Софийского университета , а также других болгарских университетов. Некоторые члены кафедры заслужили общественное признание за свою неакадемическую деятельность. Сотиров, Иванов и Пасси были избраны депутатами VII Великого народного собрания от Союза демократических сил и стали соавторами новой болгарской Конституции .
В 2011 году кафедры математической логики и алгебры были объединены в кафедру алгебры и логики Института математики и информатики Болгарской академии наук.