Լեզուների իմացություն
Русский
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