Ioachim Drugus, Ph.D

  • Affiliation: Vladimir Andrunachievici Institute of Mathematics and Computer Science, Chisinau, Moldova
  • Education:  MS and Ph.D. from Moscow State University, Russia

  • Founder and President of the International Society for Logic and Artificial Intelligence
  • Founder of “Moldovan Prizes in Logic and Artificial Intelligence”
  • Founder and member of the Board of Organizers of the “Mathematical Foundations of Computer Science” annual conference
  • Founder of “Logica si Inteligenta Artificiala (LIA)” Seminar in Romanian.
  • Research interests: mathematical logic (intermediate logics, set theory), mathematical foundations of informatics, logic of natural languages, artificial intelligence
  • Drugus, I., On logics without disjunction property (Russian), Proc. 4th all-USSR conference on mathematical logic,  Abstracts, Chisinau (1976), p. 47.
  • Drugus, I., A class of logic without disjunction property (Russian), Vestnik of Moscow University, mathematics and mechanics series, N 6 (1978),  pp. 9–14. 
  •  Drugus, I.,  On the union of superintuitionistic logic (Russian), Proc. 5th All-USSR conference on mathematical logic, Abstracts, Novosibirsk (1979), p. 47.
  • Drugus, I., Forest varieties of pseudo-boolean algebras (Russian), Proc. 16th  All-USSR Algebraic Conference, Abstracts, Leningrad, Part 2 (1981), pp. 49—50.
  • Drugus, I.,  A class of decidable superintuitionistic logics (Russian),  Proc. 6th  All-USSR Conference in Mathematical Logics,  Abstracts, Tbilisi (1982), p.62
  • Drugus, I.,  On union of logics modeled by finite trees (Russian), VINITI January 14, (1982), Nr. 203-82, 19 pages.
  • Drugus, I., Forest superintuitionistic logics (translated from Russian), Soviet Doklady, Vol. 25(1982), N3, p. 64–67 (in Russian: Доклады Академии Наук СССР, том 262,  Nr 3 , 1982,  pp. 523–526).
  • Drugus, I., Union of logics, modeled by finite trees (Russian), Algebra and Logic, 21, N2 (1982), 149–161.
  • Drugus, I.,   A classification of superintuitionistic logics, based on an analogy with groups (Russian), in: Logic, Methodology and Philosophy of Science (Abstracts),  Sections 1–5, 7, VII International Congress, Salzburg,  (1983). Puclications of Soviet Scientists, Moscow (1983), p.14–17.
  • Drugus, I., Finitely generated varieties of pseudo-Boolean Algebras (Russian), Proc. of 17th All-USSR Algebraic Conference, Abstracts, Mensk (1983), p. 50.
  • Drugus, I.,  Superintuitionistic logics, modeled by trees (Russian), Ph.D Thesis, Chisinau, Academy of Sciences of Moldova (1983) UDK 517.11. 94 pp.
  • Drugus, I., Finite approximability of forest  superintuitionistic logics (Russian), Mat. Zametki 36  (1984), no. 5, pp. 755–764, 799; MR0773811.
  • Drugus, I. and Rivera, Gloria Parilla, Forest varieties of implicative lattices (1987)  UDK 512 +510.6, 16 pp.
  • Drugus, I.,  E-money – the Value Management Sysem of E-business, Proceedings of ISINI Conference, Part 1: Volume 2, pp. 582-587. Part 2: Proceedings of 2003 ISINI Conference, Lille France, (2003) pp. 35–39.
  • I. Drugus, A Wholebrain approach to the Web. Proc. of  Web Intelligence – Intelligent Agent Technology Conference, Silicon Valley (2007), pp. 68-71.
  • Drugus, I., : Metalingua – a Formal Language for Integration of Disciplines via their Universes of Discourse. Economy Transdisciplinarity Cognition Journal, Vol. 12, N2 (2009), pp. 17–23
  • Drugus, I., : Universics – a Structural Framework for Knowledge Representation. In: Knowledge Engineering Principles and Techniques.  Cluj-Napoca, Romania, pp. 115–118 (2009)
  • Drugus, I., Universics: an Approach to Knowledge based on Set theory. In: Knowledge Engineering Principles and Techniques. Selected Extended Papers. Cluj-Napoca, Romania, pp. 193–200 (2009)
  • Drugus, I., Universics: a Common Formalization Framework for Brain Informatics and Semantic Web. In: Web Intelligence and Intelligent Agents. InTech Publishers, Vucovar pp. 55–78 (2010)
  • Drugus, I., A Formal Language of Corpora. Studia Universitatis, Exact Sciences and Economics Series, N7 (37), (2010), pp.52-56.
  • Drugus, I., : Metalingua: A Language to Mediate Communication with Semantic Web in Natural Languages. K.S. Thaung (Ed.): Advanced Information Technology in Education, AISC 126, 2011.Springer-Verlag Berlin Heidelberg (2012), pp. 109–115.
  • Drugus I, PML: A Punctuation Symbolism for Semantic Markup.  Proc. of  11th International Conf. “Linguistic Resources and Tools for Processing the Romanian Language”, 26-27 November 2015,  pp. 79 – 92.
  • Drugus, I., Towards an ontology of individuals:  Comments on “Identity, ontology and Frege’s problem” of  William Greenberg, Comput. Sci. J. Moldova 23 (2015),  no. 1, 92–96; MR3353524.
  • Drugus, I.,  Universics: an Axiomatic Theory of Universes for the Foundations (in two parts). In: Proceedings of the Workshop on Foundations of Informatics, August 24-29, 2015, Chisinau, Republic of Moldova. pp. 118-153.
  • Drugus, I., Generalized Boolean Algebras as Single Composition Systems for Measure Theory. Proceedings of the 4th Conference of Mathematical Society of Moldova (CMSM4’2017), June 28-July 2, 2017, Chisinau, Republic of Moldova.  pp. 75-78.
  • Drugus I. Towards an Algebraic Set Theory for Formalization of Data Structures. Proc. MFOI2018, July 2-6, 2018, Chisinau, Moldova.  pp. 73-89.
  • Drugus, I., Skobelev, V. G. Imbrication algebras – algebraic structures of nesting order. CSJM, vol.26, no.3(78), (2018) pp. 233-250.
  • Drugus, I., Skobelev, V. G. Some developments of Aggregate Theory. Proceedings of the Conference on Mathematical Foundations of Informatics MFOI2019, July 3-6, 2019, Iasi, Romania.
  • Drugus, I. Towards a Non-associative Model of Language. Proceedings of the Conference on Mathematical Foundations of Informatics MFOI2020, January 12-16, 2021, Kyiv (to appear).