Знание языков
Русский
English
Deutsch
Публикации
Статья
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
Статья
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
Статья
O свойстве немонотонности некоторых систем выводов классического исчисления высказываний
2018
20-25
Статья
ON SOME PROPERTIES OF SEVERAL PROOF SYSTEMS FOR NON CLASSICAL PROPOSITIONAL LOGICS
2018
5-17
Статья
On some propositional proof systems for various logics
2017
26-29
Статья
Some notes on proof complexities in Frege systems
2017
31-34
Статья
Generalization of Kalmar’s proof of deducibility in two valued propositional logic into many valued logic
2017
71-75
Статья
On some properties of several proof systems for 2-valued and 3-valued propositional logic
2017
70-73
Статья
On some systems for Łukasiewicz’s many-valued logic and its properties
2017
74-79
Монография
On some systems for two versions of many-valued logics
2017
73
Образовательный Руководство
Հաշվարկելիության բարդության տեսության հիմնադրույթներըր
2017
62
Статья
The relations between the proof complexities of strongly equal classical tautologies in Frege systems
2016
78-81