Լեզուների իմացություն
Русский
English
Deutsch
Հրապարակումներ
Հոդված
O свойстве немонотонности некоторых систем выводов классического исчисления высказываний
2018
20-25
Հոդված
ON SOME PROPERTIES OF SEVERAL PROOF SYSTEMS FOR NON CLASSICAL PROPOSITIONAL LOGICS
2018
5-17
Գիտաժողովի նյութ
On some universal proof system for all versions of many-valued logics
2018
95-96
Գիտաժողովի նյութ
On the relations between the proof complexity measures of strongly equal k-tautologies in some proof systems
2018
122-123
Հոդված
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
Գիտաժողովի նյութ
Application of Kalmar’s proof of deducibility in two valued propositional logic for many valued logic
2017
97
Գիտաժողովի նյութ
On proof complexities for some classes of tautologies in Frege systems
2017
99
Գիտաժողովի նյութ
Propositional sequent systems of two valued classical logic and many valued logics are no monotonous17-08-14.html. .
2017
98
ՈՒսումնական ձեռնարկ
Հաշվարկելիության բարդության տեսության հիմնադրույթներըր
2017
62
̸ենագրություն
On some systems for two versions of many-valued logics
2017
73
Հոդված
The relations between the proof complexities of strongly equal classical tautologies in Frege systems
2016
78-81
Հոդված
О некоторых системах доказательств для многозначных логик и сложностях выводов в них
2016
108-114
Հոդված
Новый метод доказательства полноты пропозициональной системы трехзначной логики Лукасевича и его приложения
2016
9-12
Հոդված
Frege systems are no monotonous
2016
12-14
Գիտաժողովի նյութ
The proof complexities relations for strongly equal classical tautologies in Frege systems
2016
69-70
Գիտաժողովի նյութ
Some new proof systems for a version of many-valued logics and proof complexities in it
2016
70