# 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)69979938

- 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.*4*^{t}^{h}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, pp 123-134.