About: Department of Mathematical Logic (Bulgarian Academy of Sciences)     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatResearchInstitutesInBulgaria, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon
http://dbpedia.demo.openlinksw.com/c/5s6RB6ReMs

The Department of Mathematical Logic at the Bulgarian Academy of Sciences was created by the Institute of Mathematics and Informatics in implementation of Government Decree N0. 236 of November 3, 1959. 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.

AttributesValues
rdf:type
rdfs:label
  • Department of Mathematical Logic (Bulgarian Academy of Sciences) (en)
rdfs:comment
  • The Department of Mathematical Logic at the Bulgarian Academy of Sciences was created by the Institute of Mathematics and Informatics in implementation of Government Decree N0. 236 of November 3, 1959. 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. (en)
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
sameAs
dbp:wikiPageUsesTemplate
has abstract
  • The Department of Mathematical Logic at the Bulgarian Academy of Sciences was created by the Institute of Mathematics and Informatics in implementation of Government Decree N0. 236 of November 3, 1959. 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, Hristo Smolenov, Veselin Petrov and Marion Mircheva stayed with the department for various periods of time, all of them coming from the Institute of Philosophy at the Bulgarian Academy of Sciences once the latter was dissolved on account of the dissident activities of its members in 1989. The research of the department is mostly in the area of algebraic recursion theory, modal, temporal and other non-classical logics, as well as logic programming including the development of a version of the Prolog programming language. The department developed also the Streamlined System adopted as the official national system for the Romanization of Bulgarian, and eventually codified by the Bulgarian Law of Transliteration in 2009. A joint multi-institutional project led by the department has contributed to the development and introduction of a new Bulgarian phonetic keyboard layout for personal computers and mobile phones. Besides their research activities, members of the department have an extensive lecturing practice at various faculties of Sofia University as well as other Bulgarian universities. Some members of the department have earned public recognition for their non-academic activities. Sotirov, Ivanov, and Passy were returned MPs in the VII Grand National Assembly on the side of the Union of Democratic Forces, and co-authored the new Bulgarian Constitution. 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. (en)
prov:wasDerivedFrom
page length (characters) of wiki page
foaf:isPrimaryTopicOf
is Link from a Wikipage to another Wikipage of
is foaf:primaryTopic of
Faceted Search & Find service v1.17_git147 as of Sep 06 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3331 as of Sep 2 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 50 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software