Знание языков
Русский
English
Deutsch
Публикации
Статья
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
Конференция
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
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
Статья
Some improvement of lower bounds for steps and sizes of proofs in Frege systems
2019
39-44
Статья
Исследование свойства монотонности некоторых пропозициональных систем выводов классической и неклассических логик
2019
33-39
Статья
Universal system for many-valued logic, based on splitting method, and some of its properties
2019
52-55
Статья
On the Proof Complexities of Strongly Equal Non-classical Tautologies
2019
105-112
Статья
On lower bounds for proofs sizes in Frege systems
2019
116-121
Статья
О некоторых свойствах пропозициональной системы обобщенных расщеплений
2019
34-42
Статья
О количестве минимальных тавтологий и свойствах их выводов в ряде систем классической и неклассических логик
2019
66-79
Конференция
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
2018
61-72
Статья
"Слабые” системы выводов классического исчисления высказываний не монотонны
2018
5-10
Статья
Two types of universal proof systems for all variants of many-valued logics and some properties of them
2018
1-8