Logical Modelling of Scientific Theories, Theories and Models in
Scientific Processes, Warsaw, 1994, pp. 14-16
Logical Varieties and Covarieties, Methodological and Theoretical
Problems of Mathematics and Information and Computer Sciences, Kiev, 1997,
pp. 18-34 (in Russian)
Paraconsistent Logics and Logical Varieties, On the Nature and Essence
ofMathematics, Appendix, Kiev, 1998, pp. 109-112
Logic of intellectual systems, All-Union Conference "Artificial
Intelligence - 90", Minsk, 1990, pp. 121-123 (in Russian)
New Tools for Thinking Simulation and Artificial Intelligence, International
Conference on Bionic Modeling, S.-Petersburg, 1992, pp. 371-372
Object-oriented approach to logical representation of knowledge,
Object-oriented programming, Minsk, 1992, pp. 29-30 (in Russian)
Weak Deductive Covarieties, Abstracts of the AMS, 1998, v.19, N2
Incompleteness theorem for logical varieties, Abstracts of the AMS,
1992, 13, N1
Logical Varieties in Dynamic Objects Design and Control, The 1st
International Conference on Problems of Dynamic, Objects Logic-Linguistic
Control, S.-Petersburg, 1997 (in collaboration)
Logical Systems for Information Management, 7th International Conference
on Human-Computer Interaction, San Francisco, 1997