Curriculum Vitae
Vladimir Sotirov


Personal Data
 

Office address:

Institute of Mathematics and Informatics
8 Acad. G. Bonchev Str.
1113 Sofia, Bulgaria
tel. (+359.2) 979.28.62
fax: (+359.2) 971.36.49
      *   *   *
Date of Birth:
 June 02, 1944, Kulevcha, Bulgaria
Education:
1968, Sofia University "St. Kliment Ohridski",
Faculty of Mathematics,
Department of Mathematical Logic
PhD:
1978, Moscow State University "M.V.Lomonosov",
Faculty of Mathematics and Mechanics,
Department of Mathematical Logic;
title of the PhD thesis: "Modal Theories with Intuitionistic Logic";
scientific advisers: Prof. V.A.Uspenskij and Prof. A.G.Dragalin.
 
Specializations and Scientific Exchange:
April 1976: Banach Center, Warsaw, Poland;
June 1978: Moscow State University;
June 1999: Leibniz-Forschungsstelle, University of Muenster, Germany;
October-November 1999: Japan Advanced Institute of Science and Technology, Kanazawa, Japan;
June 2000: University of Bonn, Germany;
November-December 2003: Japan Advanced Institute of Science and Technology, Kanazawa; Kyoto University, Japan.
Employment:
Bulgarian Academy of Sciences,
Institute of Mathematics and Informatics,
Department of Mathematical Logic,
1970 -2010
since 2010 retired
Position:
Senior Research Associate (Associate Professor)
Field of Interests:
modal, temporal, intuitionistic and other non-classical logics;
Aristotelian syllogistic;
voting systems, social choice and Arrow's theorem area;
history of science, philosophy, linguistics, etc.
Lectures:
Sofia University "St. Kliment Ohridski";
New Bulgarian University
Topics: mathematical logic, phylosophy of mathematics, history of mathematics
Publishing Activity:
books on mathematics, philosophy and history of science
translated from Russian, Polish, French, and English
Political Activity:
1990 - 1991:
Member of the 7th Great National Assembly (the Bulgarian Parliament);
Vice Chairman of the Parliamentary Committee on Petitions and Human Rights;
member of the Foreign Affairs Committee;
Spokesman of the Parliamentary Group of the Union of the Democratic Forces;
co-author of the new, post-communist Constitution of the Republic of Bulgaria;
Vice President of the Green Party of Bulgaria;

2001-2005:
Adviser at the Political Cabinet of the Minister of Foreign Affairs Dr. Solomon Passy


The 10 Main Publications:
To see the paper, please click on the EYE ahead!
1. Nonfinitely Approximable Intuitionistic Modal Logics. - Matematicheskie zametki, 27 (1980), no. 1, pp. 89-94 (see in Russian); see English translation: Mathematical Notes of the Academy of Sciences of the USSR, 27(1980), no. 1, pp. 47-49.

2. see  The Intuitionistic Double Negation Is a Modality. - VII Intern. Wittgenstein Symp., Kirchberg am Wechsel, August 22-29, 1982, Summaries, p. 58.

3. see Modal Theories with Intuitionistic Logic. - In: Mathematical Logic, Proc. Conf. Math. Logic Dedicated to the Memory of A. A. Markov (1903 - 1979), Sofia, September 22 - 23, 1980. Sofia, 1984, pp. 139-171.

4. See Arithmetizations of Syllogistic à la Leibniz. - J. Appl. Non-Class. Logics, 9 (1999), 2-3, pp. 387 - 405.

5. see Monadic Predicate Calculus with Equality Arithmetized à la Leibniz. - Comptes Rendues de l'Académie bulgare des Sciences, 54 (2001), no. 1, pp. 9-10.

6. see The Majority Voting Parliament Is either Oligarchic or Inconsistent. - 3rd Panhellenic Logic Symposium, Anogia, Greece, July 17- 21, 2001, Proceedings, pp. 84-90.

7. see Textbook on Logic for the Bulgarian Secondary Schools (2002, 208 pp.) (in Bulgarian).

8. see Leibniz's "Calculemus!" at Work. - 8th Intern. Leibniz Congress, Hanover, July 2006, Proceedings.

9. See Non-Classical Operations Hidden in Classical Logic. - J. Appl. Non-Class. Logics, 18 (2008), 2-3, pp. 309 - 324.

10. see Leibniz's Intensional Semantics of Syllogistics (a Reconstruction). - 9th Intern. Leibniz Congress, Hanover, September 2011, Proceedings.


April 2012