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