SCIENTIFIC THEME: PROPERTIES AND PROOF COMPLEXITY MEASURES FOR SOME PROPORTIONAL SYSTEMS OF TWO VALUED AND MANY VALUED LOGICS ARE RESEARCHED

The Associate Professor of the Faculty of Discrete Mathematics and Theoretical Informatics of the Faculty of Informatics and Applied Mathematics Sergey Sayadyan informed that the many-valued logics as a research domain was introduced in 1920 by Lukasevich proposing the third value of truth “possible” or “unknown”. Today the many-valued logics has found its applications in many spheres of information technologies.

The members of the research group are the Professor of the Chair of Discrete Mathematics and Theoretical Informatics, Doctor of Physics and Mathematics Anahit Chubaryan, the alumnus of the same chair, PhD in Physics and Mathematics Hakob Nalbandyan, the postgraduate of the chair Garik Petrosyan and Arthur Khamisyan who graduated for the chair in 2018.

Sergey Sayadyan informed that both candidate dissertations and Master’s theses of the members of the research group were led by Professor Chubaryan. They had made many reports at various international symposiums.