Լեզուների իմացություն
Русский
English
Deutsch
Հրապարակումներ
Հոդված
Recognition with Quantified Refutational Universal System for Many-Valued Logic
Գիտաժողովի նյութ
Quantified Refutation Universal System for Many-Valued Logic
2025
17-19
ՈՒսումնական ձեռնարկ
Лекции по предмету "Математическая логика"
2025
120
ՈՒսումնական ձեռնարկ
Մաթեմատիկական տրամաբանություն
2025
114
Հոդված
A Hierarchy of Determinative Sequent Systems with Different Substitution Rules
Հոդված
On Quantified Splitting Proof System for Propositional Calculi
Գիտաժողովի նյութ
ON SOME QUANTIFIED PROPOSITIONAL SYSTEM
2024
30 - 33
Գիտաժողովի նյութ
A Hierarchy of Determinative Sequent Systems with Different Substitution Rules
2023
32-34
Հոդված
On Sizes of Linear and Tree-Like Proofs for any Formulae Families in Some Systems of Propositional Calculus
Հոդված
O сложностях выводов балансированных формул в двух пропозициональных системах выводов
Հոդված
Сравнение длин линейных и древовидных выводов некоторых семейств формул в ряде систем исчисления высказываний
Հոդված
PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS
Հոդված
Relations between the Proof Complexities in Frege Systems, Deep-Inference Proof Systems KS and eKS
Հոդված
Proof Complexity of Hard-Determinable Balanced Tautologies in Frege Systems
Հոդված
ИССЛЕДОВАНИЕ СВОЙСТВ МОНОТОННОСТИ И СТРОГОЙ МОНОТОННОСТИДВУХ ПРОПОЗИЦИОНАЛЬНЫХ СИСТЕМ КЛАССИЧЕСКОЙ ЛОГИКИ
Գիտաժողովի նյութ
On non-monotonous properties of some propositional proof systems
2021
165
Գիտաժողովի նյութ
Comparison of two propositional proof systems by lines and by sizes
2021
166
Հոդված
О некоторых свойствах минимальных тавтологий классической и неклассических логик
Հոդված
O НЕМОНОТОНОСТИ ГИЛЬБЕРТОВСКИХ СИСТЕМ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ КЛАССИЧЕСКИХ И НЕКЛАССИЧЕСКИХ ЛОГИК
Հոդված
On three types of universal propositional proof systems for all versions of many-valued logics and some its properties.
