Знание языков
Русский
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
