El Departamento de Lógica Matemática de la Academia de Ciencias de Bulgaria fue creado por el Instituto de Matemáticas e Informática en aplicación del Decreto del Gobierno N0. 236 del 3 de noviembre de 1959.
Su primer presidente fue Boyan Petkanchin (1907-1987), quien trabajó para promover y difundir el conocimiento de la lógica matemática tanto en la comunidad matemática profesional en Bulgaria como en la ciencia popular .
Vladimir Sotirov y Radoslav Pavlov se unieron al departamento en 1970, seguidos por George Gargov, Anatoly Buda, Lyubomir Ivanov , Slavyan Radev y Solomon Passy en 1976-1989. En 1996-2000 se unieron al departamento Dimiter Dobrev, Jordan Zashev y Dimitar Guelev.
De 1971 a 1989, el departamento se fusionó con la división correspondiente de la Facultad de Matemáticas e Informática de la Universidad de Sofía , con Dimiter Skordev al frente de la estructura integrada desde 1971. En 1989 se rompió la relación institucional con la Universidad de Sofía y el departamento se reanudó como un división del Instituto de Matemáticas e Informática, encabezada desde entonces por Lyubomir Ivanov .
Los lógicos Bogdan Dyankov, Hristo Smolenov , Veselin Petrov y Marion Mircheva permanecieron en el departamento durante varios períodos de tiempo, todos ellos provenientes del Instituto de Filosofía de la Academia de Ciencias de Bulgaria una vez que esta última se disolvió debido a las actividades disidentes de sus miembros en 1989.
La investigación del departamento se encuentra principalmente en el área de la teoría de la recursión algebraica , la lógica modal , temporal y otras lógicas no clásicas , así como la programación lógica, incluido el desarrollo de una versión del lenguaje de programación Prolog . El departamento también desarrolló el Sistema Simplificado adoptado como el sistema nacional oficial para la romanización del búlgaro y eventualmente codificado por la Ley de Transliteración de Bulgaria. en 2009. Un proyecto multiinstitucional conjunto dirigido por el departamento ha contribuido al desarrollo y la introducción de un nuevo diseño de teclado fonético búlgaro para computadoras personales y teléfonos móviles .