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 and member of Steering Committee of the “Logic and Artificial Intelligence” annual symposium
Founder of “Logica si Inteligenta Artificiala (LIA)” Seminar in Romanian.
Research interests: mathematical logic (superintuitionistic 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, pp 123-134.
