Լեզուների իմացություն
Русский
English
Deutsch
Հրապարակումներ
ՈՒսումնական ձեռնարկ
Մաթեմատիկական տրամաբանություն
2025
114
ՈՒսումնական ձեռնարկ
Лекции по предмету "Математическая логика"
2025
120
Հոդված
A Hierarchy of Determinative Sequent Systems with Different Substitution Rules
2024
20-30
Հոդված
On Quantified Splitting Proof System for Propositional Calculi
2024
9-16
Հոդված
On Sizes of Linear and Tree-Like Proofs for any Formulae Families in Some Systems of Propositional Calculus
2022
47-55
Հոդված
O сложностях выводов балансированных формул в двух пропозициональных системах выводов
2022
118-124
Հոդված
Сравнение длин линейных и древовидных выводов некоторых семейств формул в ряде систем исчисления высказываний
2022
125-132
Հոդված
PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS
2022
58-65
Հոդված
Relations between the Proof Complexities in Frege Systems, Deep-Inference Proof Systems KS and eKS
2022
182-187
Հոդված
Proof Complexity of Hard-Determinable Balanced Tautologies in Frege Systems
2022
61-66
Հոդված
ИССЛЕДОВАНИЕ СВОЙСТВ МОНОТОННОСТИ И СТРОГОЙ МОНОТОННОСТИДВУХ ПРОПОЗИЦИОНАЛЬНЫХ СИСТЕМ КЛАССИЧЕСКОЙ ЛОГИКИ
2021
60-62
Հոդված
О некоторых свойствах минимальных тавтологий классической и неклассических логик
2020
15-21
Հոդված
O НЕМОНОТОНОСТИ ГИЛЬБЕРТОВСКИХ СИСТЕМ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ КЛАССИЧЕСКИХ И НЕКЛАССИЧЕСКИХ ЛОГИК
2020
59-62
Հոդված
On three types of universal propositional proof systems for all versions of many-valued logics and some its properties.
2020
1-3
Հոդված
On monotonous and strongly monotonous properties of some propositional proof systems for different logics.
2020
1-3
Հոդված
On non-monotonous properties of some classical and nonclassical propositional proof systems
2020
127-136
Հոդված
Об отношениях сложностей выводов в ряде систем исчисления высказываний.
2020
138-146
Հոդված
Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems
2019
56-63
Հոդված
О СВОЙСТВАХ МОНОТОННОСТИ И СТРОГОЙ МОНОТОННОСТИ ПРОПОЗИЦИОНАЛЬНЫХ СИСТЕМ РЕЗОЛЮЦИЙ КЛАССИЧЕСКОЙ И НЕКЛАССИЧЕСКИХ ЛОГИК
2019
74-77
Հոդված
Relations between the Proof Complexity Characteristics in Two Universal Proof Systems for All Variants of Many-Valued Logics
2019
69-74