Language skills
袪褍褋褋泻懈泄
English
Deutsch
Publications
Article
O 褋胁芯泄褋褌胁械 薪械屑芯薪芯褌芯薪薪芯褋褌懈 薪械泻芯褌芯褉褘褏 褋懈褋褌械屑 胁褘胁芯写芯胁 泻谢邪褋褋懈褔械褋泻芯谐芯 懈褋褔懈褋谢械薪懈褟 胁褘褋泻邪蟹褘胁邪薪懈泄
2018
20-25
Article
ON SOME PROPERTIES OF SEVERAL PROOF SYSTEMS FOR NON CLASSICAL PROPOSITIONAL LOGICS
2018
5-17
Conference
On some universal proof system for all versions of many-valued logics
2018
95-96
Conference
On the relations between the proof complexity measures of strongly equal k-tautologies in some proof systems
2018
122-123
Article
On some propositional proof systems for various logics
2017
26-29
Article
Some notes on proof complexities in Frege systems
2017
31-34
Article
Generalization of Kalmar鈥檚 proof of deducibility in two valued propositional logic into many valued logic
2017
71-75
Article
On some properties of several proof systems for 2-valued and 3-valued propositional logic
2017
70-73
Article
On some systems for 艁ukasiewicz鈥檚 many-valued logic and its properties
2017
74-79
Conference
Application of Kalmar鈥檚 proof of deducibility in two valued propositional logic for many valued logic
2017
97
Conference
On proof complexities for some classes of tautologies in Frege systems
2017
99
Conference
Propositional sequent systems of two valued classical logic and many valued logics are no monotonous17-08-14.html. .
2017
98
Study manual
諃铡辗站铡謤寨榨宅斋崭謧诈盏铡斩 闸铡謤栅崭謧诈盏铡斩 湛榨战崭謧诈盏铡斩 瞻斋沾斩铡栅謤崭謧盏诈斩榨謤炸謤
2017
62
Monograph
On some systems for two versions of many-valued logics
2017
73
Article
The relations between the proof complexities of strongly equal classical tautologies in Frege systems
2016
78-81
Article
袨 薪械泻芯褌芯褉褘褏 褋懈褋褌械屑邪褏 写芯泻邪蟹邪褌械谢褜褋褌胁 写谢褟 屑薪芯谐芯蟹薪邪褔薪褘褏 谢芯谐懈泻 懈 褋谢芯卸薪芯褋褌褟褏 胁褘胁芯写芯胁 胁 薪懈褏
2016
108-114
Article
袧芯胁褘泄 屑械褌芯写 写芯泻邪蟹邪褌械谢褜褋褌胁邪 锌芯谢薪芯褌褘 锌褉芯锌芯蟹懈褑懈芯薪邪谢褜薪芯泄 褋懈褋褌械屑褘 褌褉械褏蟹薪邪褔薪芯泄 谢芯谐懈泻懈 袥褍泻邪褋械胁懈褔邪 懈 械谐芯 锌褉懈谢芯卸械薪懈褟
2016
9-12
Article
Frege systems are no monotonous
2016
12-14
Conference
The proof complexities relations for strongly equal classical tautologies in Frege systems
2016
69-70
Conference
Some new proof systems for a version of many-valued logics and proof complexities in it
2016
70