Language skills
袪褍褋褋泻懈泄
English
Deutsch
Publications
Article
袨 薪械泻芯褌芯褉褘褏 褋懈褋褌械屑邪褏 写芯泻邪蟹邪褌械谢褜褋褌胁 写谢褟 屑薪芯谐芯蟹薪邪褔薪褘褏 谢芯谐懈泻 懈 褋谢芯卸薪芯褋褌褟褏 胁褘胁芯写芯胁 胁 薪懈褏
2016
108-114
Article
袧芯胁褘泄 屑械褌芯写 写芯泻邪蟹邪褌械谢褜褋褌胁邪 锌芯谢薪芯褌褘 锌褉芯锌芯蟹懈褑懈芯薪邪谢褜薪芯泄 褋懈褋褌械屑褘 褌褉械褏蟹薪邪褔薪芯泄 谢芯谐懈泻懈 袥褍泻邪褋械胁懈褔邪 懈 械谐芯 锌褉懈谢芯卸械薪懈褟
2016
9-12
Article
Frege systems are no monotonous
2016
12-14
Monograph
Rabin style speed-up of proofs
2010
50
Conference
On some universal system for various propositional logics
Conference
Some notes about lower bounds for steps and sizes of proofs in Frege systems
Conference
Improvement of lower bounds for steps and sizes of proofs in Frege systems
Conference
The proof complexities relations for strongly equal classical tautologies in Frege systems
Conference
Some new proof systems for a version of many-valued logics and proof complexities in it
Conference
On lower bounds for steps and sizes of proofs in Frege systems
Conference
Application of Kalmar鈥檚 proof of deducibility in two valued propositional logic for many valued logic
Conference
On proof complexities for some classes of tautologies in Frege systems
Conference
Propositional sequent systems of two valued classical logic and many valued logics are no monotonous17-08-14.html. .
Conference
On some universal proof system for all versions of many-valued logics
Conference
On the relations between the proof complexity measures of strongly equal k-tautologies in some proof systems
Conference
On the proof complexity in two universal proof system for all versions of many-valued logics
Conference
Monotonous and strong monotonous properties of some propositional proof systems for Classical and Non Classical Logics
Conference
On monotonous and strong monotonous properties of some propositional proof systems for two valued and finite-many-valued logics
Conference
On three types of universal propositional proof systems for all versions of many-valued logics and some properties of them
Conference
On non-monotonous properties of some propositional proof systems