Լեզուների իմացություն
Русский
English
Deutsch
Հրապարակումներ
Հոդված
On monotonous and strongly monotonous properties of some propositional proof systems for different logics.
Հոդված
On non-monotonous properties of some classical and nonclassical propositional proof systems
Հոդված
Об отношениях сложностей выводов в ряде систем исчисления высказываний.
Գիտաժողովի նյութ
On monotonous and strong monotonous properties of some propositional proof systems for two valued and finite-many-valued logics
2020
2
Գիտաժողովի նյութ
On three types of universal propositional proof systems for all versions of many-valued logics and some properties of them
2020
2
Հոդված
Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems
Հոդված
О СВОЙСТВАХ МОНОТОННОСТИ И СТРОГОЙ МОНОТОННОСТИ ПРОПОЗИЦИОНАЛЬНЫХ СИСТЕМ РЕЗОЛЮЦИЙ КЛАССИЧЕСКОЙ И НЕКЛАССИЧЕСКИХ ЛОГИК
Հոդված
Relations between the Proof Complexity Characteristics in Two Universal Proof Systems for All Variants of Many-Valued Logics
Հոդված
Some improvement of lower bounds for steps and sizes of proofs in Frege systems
Հոդված
Исследование свойства монотонности некоторых пропозициональных систем выводов классической и неклассических логик
Հոդված
Universal system for many-valued logic, based on splitting method, and some of its properties
Հոդված
On the Proof Complexities of Strongly Equal Non-classical Tautologies
Հոդված
О некоторых свойствах пропозициональной системы обобщенных расщеплений
Հոդված
О количестве минимальных тавтологий и свойствах их выводов в ряде систем классической и неклассических логик
Գիտաժողովի նյութ
On the proof complexity in two universal proof system for all versions of many-valued logics
2019
152-153
Գիտաժողովի նյութ
Monotonous and strong monotonous properties of some propositional proof systems for Classical and Non Classical Logics
2019
165-166
Հոդված
Some properties of several proof systems for Intuitionistic, Johansson’s and Monotone propositional logics
Հոդված
"Слабые” системы выводов классического исчисления высказываний не монотонны
Հոդված
Two types of universal proof systems for all variants of many-valued logics and some properties of them
