CV and Publications of Georgi Gargov

Curriculum Vitae and List of Publications of
Prof. Dr. Georgi Gargov (1947 - 1996)

PERSONAL RECORD:

Full name: Georgi Kolev Gargov
Born: 1947 in Sofia, Bulgaria

EDUCATION:

1971 - M. Sc. in Mathematics, Moscow State University
1976 - Ph.D. in Mathematics (Mathematical Logic), Moscow State University

PROFESSIONAL RECORD:

1976 - 1987 - Research Associate at the Institute of Mathematics, Bulgarian Academy of Sciences
1988 - 1996 - Associated Professor, Director of the Linguistic Modelling Laboratory

TEACHING:

Seminars in Mathematical Analysis (Faculty of Mathematics, University of Sofia),

Seminars and Lectures in Mathematical Logic (Faculty of Mathematics, University of Sofia),

Lectures in non-classical logics and set theory (Faculty of Mathematics, University of Sofia),

Lectures in formal logics (Faculty of Philosophy, University of Sofia),

Supervision of M.Sc. students from the Faculty of Mathematics and Informatics, University of Sofia.

LANGUAGES

Bulgarian (native)
English
Russian
Polish
French

LIST OF PUBLICATIONS :

[1] Gargov, G. Intuitionistic analysis and intermediate logics.- Soviet Math. Doklady 16 (1975), 1372-1374. Reviews: RzMAT 1976/4A46 (V. Plisko, in Russian); MR vol.52 (1976) /10375 (V. Orevkov); ZBL342.02014 (H. Luckhardt).
[2] Gargov, G. Metamathematical properties of some formal systems of intuitionistic analysis. Ph.D. dissertation, Moscow State University, Moscow, 1976, 86 pages (in Russian).
[3] Gargov, G. An independence result in formal intuitionistic analysis. In: Mathematics and the Education in Mathematics. Proc. of the V Spring Conf. of the UBM, Gabrovo, April 1976, Publ. House of BAS, Sofia, 1990, 37-39.
[4] Gargov, G. Classes of propositional formulae contradicting Myhill's system. In: The Sixth Balkan Math. Congress, Varna,June 1997. Summaries, p.86 [abstract].
[5] Gargov, G. Kripke models for intuitionistic theories of sequences. In: Annuaire de l'Univ. de Sofia "Kl. Ohridski", Fac. de Math. et Mecanique 71 (1976/77), 2-e partie, 143-156. Reviews: MR88f:03053 (M.Beeson); ZBL634.03061 (G.Forbes).
[6] Gargov, G. Diophant representation of the prime numbers. In: Journal of Physics and Mathematics 20 (1977), 327-331 (in Bulgarian).
[7] Gargov, G. Some applications of topological models to intuitionistic formal theories. In: The Journal of Symbolic Logic 44 (1979), 448 [abstract].
[8] Gargov, G. On logic - only logically. In: Philosophical Thought, 1980, No 12, 71-74 (in Bulgarian).
[9] Gargov, G. The constructivism in mathematics. In: Philosophical Thought, 1981, No 5, 69-80 (in Bulgarian).
[10] Gargov, G. Three observations on process logic. In: Logics of Programs. Abstracts of Papers of the Symposium in Bialowieza, Poland, September 1981 [abstract].
[11] Gargov, G. and K. Kirov. The logic of "strong box" in IGL is IS4Grz. In: Mathematics and Education in Mathematics. Proc. of the XI spring Conference of UBM, Slanchev Briag, April 1982. Publ. House of BAS, Sofia, 1982, 154-160. Reviews: RzMAT 1982/10A57; ZBL521.03043.
[12] Gargov, G. Formal logical modelling of complex systems. In: Proc. of Conference "Contemporary problems of the theoretical modelling of natural and social systems", Blagoevgrad, May 1982, Volume 2, [summary] (in Bulgarian).
[13] Gargov, G. Are the evaluations of the new results in mathematics rational? In: Proc. of Third National School "Philosophy, Science, Social Practice", Primorsko, September 1982. (additional volume), 3-4 [summary] (in Bulgarian).
[14] Gargov, G. Issues of time. In: Savremennik, 1982 No 3, 442-458 (in Bulgarian).
[15] Gargov, G. Mental experiment (abstract from the book "Proofs and disproofs" by I. Lakatos). The translator presents. In: ABV, 17 May 1983 (in Bulgarian).
[16] Gargov, G. On a new kind of interpretation of propositional languages. In: Summer School on Mathematical Logic and Its Applications, Primorsko, September 1983. Abstracts of short communications, 42-45 [extended abstract].
[17] Gargov, G. On path logics. In: The Journal of Symbolic Logic 48 (1983), No. 4, 1226 [abstract].
[18] Gargov, G. Translator's note. In: I. Lakatos. "Proofs and Disproofs". Nauka i Izkustvo, Sofia, 1983, 191-195 (in Bulgarian).
[19] Gargov, G. A note on probability logics of certain extensions of Heyting's arithmetic. In: Mathematical Logic. Proc. of the Conf. on Math. Logic Dedicated to the Memory of A. A. Markov, Sofia, September 1980. Publ. House of BAS, Sofia, 1984, 20-26. Reviews: RzMAT 1985/1A103 (in Russian); MR87f:03042 (F. Morgana).
[20] Logic and computer science. In: Contemporary Problems of Science, 1984, No 6, Centre for Scientific Information, BAS (in Bulgarian).
[21] Gargov, G. Summer school on mathematical logic and its applications, Primorsko, 22-28 September 1983. In: Journal of Physics and Mathematics 26, 1984, No 2, 225-226 (in Bulgarian).
[22] Gargov, G., Atanassov, K. Short review of the development of mathematical logic and related fields in the 20th century. In: "Contemporary Problems of Science", Centre for Scientific Information, BAS, Sofia, 1984, No 6, 42-52 (in Bulgarian).
[23] Atanassov, K., L. Atanassova, and G. Gargov. Program package FLOGAL and some applications. In: Proc. of an Int. Conf. on Computer Based Scientific Research, vol. II, Plovdiv, Oct. 1984, 536-539.
[24] Mihailova, G. and G. Gargov. A formal approach to verb semantics. In: Artificial Intelligence and Information-Control Systems of Robots (ed. I.Plander). Amsterdam, North Holland, 1984, 251-254.
[25] Gargov, G. Logics for knowledge representations. In: AIMSA'84. Int. Conf. on AI, Varna, September 1984. Paper abstracts, 30 [abstract].
[26] Gargov, G. An unsuccessful book on educational methods in mathematics. In: Teaching of Mathematics, 1984, No5, 56-59 (in Bulgarian).
[27] Gargov, G. Gödel, Escher and Bach in a strange noose (on the occasion of one famous book). In: Savremennik, 1985, No 1, 448-466 (in Bulgarian).
[28] Lakova, M., Gargov, G. On the category definiteness/indefiniteness as a semantic and pragmatic category. In: Language and Literature (Ezik i literatoura), 1985, No 2, 32-40 (in Bulgarian).
[29] Yalumov, Kr., Gargov, G. Program representation of knowledge in normative documents. In: Proc. of PERSKOMP 85, Sofia, April 1985, 94- 95 [summary] (in Bulgarian).
[30] Todorov, A., Gargov, G. Mathematics - for today or for tomorrow? In: Rabotnichesko Delo, 21 June 1985 (in Bulgarian).
[31] Gargov, G. Time and the contemporary man (review of the book "Time" by L.. Mitrani and S. Shekerdjiiski, Narodna Prosveta, Sofia, 1984). In: ABV, No 26, 2 July 1985 (in Bulgarian).
[32] Todorov, A., Gargov, G. The challenge and the reply. In: Rabotnichesko Delo, 1 November 1985 (in Bulgarian).
[33] Gargov, G. Solvability of basic combinatory proportional dynamic logic. In: Mathematical Theory of Programming. Soviet-Bulgarian Proceedings ( eds. A. P. Ershov and D. Skordev), Novosibirsk, Computing Centre of the Academy of Sciences of the USSR, 1985, 42-49 (in Russian). Reviews: MR88e:03044 (A.Stolboushkin).
[34] Vakarelov, D., Gargov, G. On the possibility to formalize some fragments of dialectic. In: Problems of Contemporary Logic (ed. M. Mircheva), Naouka i Izkoustvo, Sofia, 1985, 43-53 (in Bulgarian).
Reviews: MR87h:03044 (A. Stolboushkin).
[35] Atanassov, K., L. Atanassova, and G. Gargov. Program package FLOGAL and some applications. In: Proc. of Int. Conf. on Computer- Based Scientific Research, Plovdiv, October 1984. Publ. House of BAS, Sofia, 1985, vol. 2, 536-539.
[36] Mrchev, S. and G. Gargov. The system of morpho-functional organization of human memory. In: Medical and Biological Engineering & Computing 23, 1985, part 1, 372-373.
[37] Yalumov, K. and G. Gargov. Representing legal texts by logic programs. In: Proc. of the VIII European Meeting on Cybernetics and Systems Research ( ed. R. Trappl), Reidel, Dordrecht, 1986, 751-758.
[38] Gargov, G. A propositional modal framework for description of inference. In: The Journal of Symbolic Logic 51 (1986), No. 3, 842-843 [abstract].
[39] Gargov, G. Two completeness theorems in logic for data analysis.- ICS PAS Reports 581 (1986), Warszawa.
[40] Gargov, G. and S. Radev. Expert logics. In: Artificial Intelligence II: Methodology, Systems, Applications. AIMSA'86 (eds. Ph. Jorrand and V. Sgurev). Amsterdam, North Holland, 1987, 181-188.
[41] Gargov, G. School and conference on mathematical logic and its applications, Droujba, 24 September - 4 October 1986. In: Journal of Physics and Mathematics 29 (1987), No 1, 168 (in Bulgarian).
[42] Gargov, G. New semantics for some many-valued logics. In: The Journal of Non-Classical Logic 4 (1987), 37-56. Reviews: MR88g:03036 (S.L.Bloom); Philosopher's Index 1987 cumul.ed.p.411; ZBL639.03018 (A. S. Karpenko).
[43] Gargov, G. Logic does not help either. In: ABV, No 13, 12 April 1987 (in Bulgarian).
[44] Gargov, G. and S.Radev. Arguments and strategies (Lukasiewicz meets Polya). In: LMPS'87, Moscow, August 1987. Abstracts, vol. 5, part 1, 255- 259 [extended abstract]. Reviews RzMAT 1988/2A64 (A. Tzitkin, in Russian).
[45] Gargov, G. The organizations (six stories). In: Savremennik, 1987, No 3, 456-475 (in Bulgarian).
[46] Gargov, G., S. Passy and T. Tinchev. Modal environment for Boolean speculations. In: Mathematical Logic and Its Applications (ed. D. Skordev). Plenum Press, New York, 1987, 253-263. Reviews: MR89c:03028; ZBL701.03008 (E.Melis).
[47] Gargov, G. Nominal groups with information about existential quantification in Bulgarian sentence. In: Second International Congress on Bulgarian Studies. Reports, Volume 3, Contemporary Bulgarian Language. Publ. House of BAS, Sofia, 1987, 455-461 (in Bulgarian).
[48] Gargov, G. O pewnym zbiorze przyslowkow temporalnych i kwantifikatorach uogolnionych.- W: Studia Gramatyczne Bulgarsko- Polskie, t. 2, "Okreslonosc/Nieokreslonosc" ( red. V. Koseska-Toszewa, J. Mindak). Wroclaw, Ossolineum, 1987,17-39 (in Polish).
[49] Gargov, G. and S. Radev. From discussion strategies to formal semantics.- In: Int. Conference on AI "Advanced Dialog Systems and Natural Language Processing", Poland, June 1987. Abstracts, 8 [abstract].
[50] Gargov, G. and S. Radev. Arguments and strategies ( from Lukasiewicz to Polya). In: Philosophical Thought, 1987, No 12, 76-84 (in Bulgarian).
[51] Atanassov, Kr., Atanassova, L., Gargov, G. Bibliographical study of the term "function". - Year-book of IFL, Volume 7, 1987, 208-219 (in Bulgarian).
[52] Gargov, G. On some logics of contradiction.- In: Logical Consistency and Dialectical contradiction ( ed. B. Dyankov). Inst. of Philosophy, BAS, Sofia, 1988, 117-124.
[53] Gargov, G. An intuitionistic three-valued logic. In: Types of Logical Systems and The Problem of Truth ( ed. B. Dyankov). Inst. of Philosophy, BAS, Sofia, 1988,75-83.
[54] Gargov, G. and S. Passy. Determinism and looping in combinatory PDL. In: Theoretical Computer Science 61 (1988), No. 2/3, 259-277. Reviews: CCA24(1989)19181; MR90c:03021 (A.P.Stolboushkin).
[55] Atanassov, K., L. Atanassova, E. Dimitrov, G. Gargov, I. Kazalarski, M. Marinov, and S. Petkov. Generalized nets and Expert Systems. II. In: IFIP Symposium "Network Information Processing Systems", Sofia, May 1988. Vol.2, 54-67.
[56] Gargov, G. Representation of temporal information in the sentences by means of net models.- In: MMM'88, IV Int. Symposium, Varna, June 1988. Abstracts, 118-119 [abstract].
[57] Gargov et al. Computer and natural language. In: Contemporary Problems of Science, 1988, No 4, Centre for Scientific Information, BAS (in Bulgarian).
[58] Tabakov, M., Gargov, G. The theme of logic of the Eighth International Congress on Logic, Methodology and Philosophy of Science. In: Philosophical Thought, 1988, No 8, 116-119 (in Bulgarian).
[59] Gargov, G. Signs, signs, signs... In: Savremennik, 1988, No 4, 454- 467 (in Bulgarian).
[60] Atanassov, K. and G. Gargov. Interval valued intuitionistic fuzzy sets. In: Fuzzy Sets and Systems 31 (1981), No. 3, 343-349. Reviews: RzMAT 1990/1A59 (T. Gachachiladze, in Russian); MR90d:03114; ZBL674(1989)03017 (S. Gottwald); CCA25(1990)226.
[61] Atanassov, K., L. Atanassova, E. Dimitrov, G. Gargov, I. Kazalarski, M. Marinov and S. Petkov. Generalized nets and Expert Systems. I. In: Proc. of XII Symposium on Operations Research (Passau,September 1987), Methods of Operations Research 59, Frankfurt a. M., Athenaeum, 1989, 301. Reviews: ZBL684(1988)68103.
[62] Gargov, G. Notes on the intuitionistic fuzzy predicate logic. In: First Sci. Session of the Math. Foundations of AI Seminar [IM-MFAIS-7-89]. Inst. of Microsystems, Sofia, 1989, 19-21.
[63] Koseska-Toszewa, V., G. Gargov. O bulgarskim nikoga i jago polskim odpowiedniku.- W: Paralele w rozwoju slownictwa jezykow slowianskich (Studia linguistica memoraie Z.Stieber dedicata). Wroclaw: Ossolineum, 1989, 171-179.
[64] Atanassov, K., L. Atanassova, E. Dimitrov, G. Gargov, I. Kazalarski, M. Marinov, S. Petkov, and M. Stefanova-Pawlova. Generalized nets and Expert Systems. III. In: Proc. of XIV Symposium on Operations Research (Ulm, September 1989), Methods of Operations Research 63, Frankfurt a. M., Athenaeum, 1990, 417-423. Reviews: CCA26(1991)32855.
[65] Atanassov, K., L. Atanassova, E. Dimitrov, G. Gargov, I. Kazalarski, M. Marinov, and S. Petkov. Generalized nets and Expert Systems. IV. In: Mathematics and Education in Mathematics. Proc. of the XIX Spring Conf. of UBM, Sunny Beach, April 1990. Publ. House of BAS, Sofia, 1990, 155- 161.
[66] Koseska-Toszewa, V., Gargov, G. The semantic category of definiteness/indefiniteness. Bulgarian-Polish Comparative Grammar. Volume 2. Publ. House of BAS, Sofia, 1990 (in Bulgarian).
[67] Gargov, G. and S. Passy. A note on Boolean modal logic.- In: Mathematical Logic. Proc. of The Summer School and Conf. on Mathematical Logic "Heyting'88" (ed. P. Petkov). Plenum Press, New York, 1990, 299-309. Reviews: MR91k:03039; ZBL777.03005.
[68] Atanassov, K. and G. Gargov. Intuitionistic fuzzy logic. In: Comptes rendus de l'Acad. Bulg. des Sciences 43 (1990), 9-12. Reviews: MR91g:03054 (Zheng Da Jin); ZBL698.03010 (S.Gottwald).
[69] Gargov, G. and M. Stambolieva. Towards a flexible function grammar for Bulgarian. In: MMM'90. V International Symp., Varna, June 1990. Abstracts, 211-213 [extended abstract].
[70] Radev, S. and G. Gargov. Argumentation games. In: MMM'90. V International Symp., Varna, June 1990. Abstracts, 321-325 [extended abstract].
[71] Gargov, G. On representation of temporal knowledge. In: Proc. of AILA'90, Greece, April 1990. Abstracts, vol. 4, 1990, 1175 [abstract].
[72] Atanassov, K., G. Gargov, and Ch. Georgiev. Remarc on intuitionistic fuzzy Modus Ponens. In: Second Sci. Session of The Math. Foundations of AI Seminar [IM-MFAIS-1-90]. Inst. of Microsystems, Sofia, 1990, 19-21.
[73] Gargov, G. Gödel, Escher , Bach - mathematical speculations. In: Lectures on Logic. Publ. House of SU "Kl. Ohridski", Sofia, 1990, 129- 150 (in Bulgarian).
[74] Atanassov, K. and G. Gargov. Research on intuitionistic fuzzy sets in Bulgaria. In: Fuzzy Sets and Systems 35 (1990), 257-258.
[75] Kancheva, V. and G. Gargov. Intelligent juridical information- retrieval systems (some structural and logical issues). In: First Int. Symposium "Logic and Applications", Varna, June 1990 (ed. B. Chendov). Publ. House of BAS, Sofia, 1990, 89-92 [extended abstract].
[76] Koseska-Toszewa, V., Gargov, G. On verbal and adverbial forms and their quantifier meanings in Bulgarian and Polish. In: Bulgarian Language 40 (1990), No 3, 199-205 (in Bulgarian).
[77] Gargov, G. and V. Goranko. Modal logic with names.I. In: The Journal of Symbolic Logic 56 (1991), No. 3, 1187 [abstract].
[78] Gargov, G. and V. Goranko. Modal logic with names. In: Colloquium on Modal Logic (ed. M. de Rijke). Dutch Network for Language, Logic and Information, Amsterdam, 1991, 81-103. Published also as [81].
[79] Koseska-Toszewa, V., G. Gargov. Quantification, temporality and modality. In: Studia Gramatyczne Bulgarsko-Polskie. T. 4. "Temporalnosc" (red. M. Korytkowska and V. Koseska-Toszewa), Slavica 91. Warszawa: Slawistyczny Osrodek Wydawniczy, 1991(in Polish).
[80] Koseska-Toszewa, V. (in cooperation with G. Gargov). The semantic category of definiteness/indefiniteness in Bulgarian and Polish. In: Slavica 93. Slawistyczny Osrodek Wydawniczy, Warszawa, 1991.
[81] Gargov, G. From classical to strengthened modal logic. In: The Journal of Symbolic Logic 57 (1992), 296 [abstract].
[82] Gargov, G. and K. Atanassov. Two results in intuitionistic fuzzy logic. In: Comptes rendus de l'Academie Bulgare des Sciences 45 (1992), No. 12, 12-31.
[83] Gargov, G. and V. Goranko. Modal logic with names. In: Journal of Philosophical Logic 22 (1993), 607-636.
[84] Gargov, G. East- West cooperation (as seen from the East).-FoLLI Newsletter 93-2, August 1993, 12-13.
[85] Gargov, G. Modal logic based on bilattices. In: Sacks Symp., MIT, Cambridge, USA, May 1993. Abstract of contr. papers, p.5 [abstract].
[86] Gargov, G. Events and states - an approach to the representation of temporal and aspectual knowledge. In: Explorations in Language and Cognition (eds. G. Gargov, P. Staynov), Amsterdam Series in the Theory and History of Linguistic Science, Series IV, Current Issues in Linguistic Theory, vol. 102., 241-283. Amsterdam:Benjamins, 1994.
[87] Gargov, G. and P. Staynov. Introduction to Explorations in Language and Cognition (eds. G. Gargov, P. Staynov), Amsterdam Series in the Theory and History of Linguistic Science, Series IV, Current Issues in Linguistic Theory, vol. 102., vii-xii. Amsterdam:Benjamins, 1994.
[88] Atanassov, K. and G. Gargov. Intuitionistic fuzzy logic operators of a set theoretical type.- In: Proc. FUBEST'94 (ed. D. Lakov), Sofia, 1994, 39-42.
[89] Atanassov, K., G. Gargov. Some methodological aspects of generalized nets. International Interdisciplinary Symposium on Logic and Applications, vol. IV, Sofia, 1994, 48-55.
[90] Gargov, G. and V. Kancheva. Similarity of precedents in a legal information system. In: Int. Journal of Information Theories and Applications 2 (1994), No. 1, 22-29.
[91] Gargov, G. An approach to uncertainty via sets of truth values. In: Notre Dame Journal of Formal Logic 36 (1995), No. 3, 1-34.
[92] Gargov, G., K. Atanassov. On the intuitionistic fuzzy logic operations. In: Notes on Intuitionistic Fuzzy Sets, vol. I, No. 1, 1995, 1-4.

Abbreviations:

RzMAT - Referativnij Zhurnal Matematiki (in Russian)
MR - Mathematical Reviews
ZBL - Zentral Blatt fuer Mathematik
CCA - Computer & Control Abstract.