# 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

**e-mail:**ioachim.drugus@math.md**skype:**joedrugus1**mobile:**(373)6997993

- 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. 4
^{th}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. 5
^{th}All-USSR conference on mathematical logic, Abstracts, Novosibirsk (1979), p. 47. - Drugus, I., Forest varieties of pseudo-boolean algebras (Russian), Proc. 16
^{th}All-USSR Algebraic Conference, Abstracts, Leningrad, Part 2 (1981), pp. 49—50. - Drugus, I., A class of decidable superintuitionistic logics (Russian), Proc. 6
^{th}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 17
^{th}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 11
^{th}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).