Արտածումների բարդության հետազոտում ասույթային հաշվի մի շարք հայտնի և նոր կառուցված համակարգերում / Investigation of proof complexities in various known and newly constructed propositional calculus systems

Abstract

Ատենախոսական աշխատանքի նպատակն է արտածումների որոշ հայտնի համակարգերում, արտածումների տարատեսակներում տարբեր բարդության բնութագրիչների հետազոտությունը, ինչպես նաև նոր համակարգերի կառուցումը, նպատակ ունենալով արտածման համակարգերի ըստ արդյունավետության բաղդատման ճշգրտումը / В диссертации изучаются основные характеристики сложности доказательств как в некоторых известных пропозициональных системах классической логики, так и в ряде вновь построенных систем, что позволило внести ряд уточнений в известную иерархию пропозициональных систем / This dissertation studies the main complexity characteristics of proofs in both some known propositional systems of classical logic and a number of newly constructed systems, which made it possible to introduce a number of refinements into the well-known hierarchy of propositional system