Department of Mathematical Logic (Bulgarian Academy of Sciences)
The Department of Mathematical Logic at the
Its first chairman was Boyan Petkanchin (1907–87) who worked to promote and disseminate the knowledge of mathematical logic both in the professional mathematical community in Bulgaria and as popular science.
Vladimir Sotirov and Radoslav Pavlov joined the department in 1970, followed by George Gargov, Anatoly Buda, Lyubomir Ivanov, Slavyan Radev and Solomon Passy in 1976-89. In 1996-2000 the department was joined by Dimiter Dobrev, Jordan Zashev and Dimitar Guelev.
From 1971 to 1989 the department was merged with the corresponding division of the Faculty of Mathematics and Informatics at Sofia University, with Dimiter Skordev heading the integrated structure since 1971. In 1989 the institutional relationship with Sofia University was severed, and the department resumed as a division of the Institute of Mathematics and Informatics, headed since then by Lyubomir Ivanov.
The logicians Bogdan Dyankov,
The research of the department is mostly in the area of
Besides their research activities, members of the department have an extensive lecturing practice at various faculties of
In 2011 the departments of Mathematical Logic and Algebra were merged to form the Department of Algebra and Logic at the Institute of Mathematics and Informatics, Bulgarian Academy of Sciences.
References
- Department of Mathematical Logic
- Skordev D. Historical notes on the development of mathematical logic in Sofia. Annuaire de l'Univ. de Sofia, Fac. de Math. et Inf. 96, 2004. pp. 11–21.
- Andreev A., I. Derzhanski eds. Bulgarian Academy of Sciences: Institute of Mathematics and Informatics, founded 1947. Sofia: Multiprint Ltd., 2007. 64 pp. (Bilingual publication in Bulgarian and English) ISBN 978-954-8986-27-4