Language skills
袪褍褋褋泻懈泄
English
Deutsch
Publications
Manual
談铡诈榨沾铡湛斋寨铡寨铡斩 湛謤铡沾铡闸铡斩崭謧诈盏崭謧斩
2025
114
Manual
袥械泻褑懈懈 锌芯 锌褉械写屑械褌褍 "袦邪褌械屑邪褌懈褔械褋泻邪褟 谢芯谐懈泻邪"
2025
120
Article
A Hierarchy of Determinative Sequent Systems with Different Substitution Rules
2024
20-30
Article
On Quantified Splitting Proof System for Propositional Calculi
2024
9-16
Article
On Sizes of Linear and Tree-Like Proofs for any Formulae Families in Some Systems of Propositional Calculus
2022
47-55
Article
O 褋谢芯卸薪芯褋褌褟褏 胁褘胁芯写芯胁 斜邪谢邪薪褋懈褉芯胁邪薪薪褘褏 褎芯褉屑褍谢 胁 写胁褍褏 锌褉芯锌芯蟹懈褑懈芯薪邪谢褜薪褘褏 褋懈褋褌械屑邪褏 胁褘胁芯写芯胁
2022
118-124
Article
小褉邪胁薪械薪懈械 写谢懈薪 谢懈薪械泄薪褘褏 懈 写褉械胁芯胁懈写薪褘褏 胁褘胁芯写芯胁 薪械泻芯褌芯褉褘褏 褋械屑械泄褋褌胁 褎芯褉屑褍谢 胁 褉褟写械 褋懈褋褌械屑 懈褋褔懈褋谢械薪懈褟 胁褘褋泻邪蟹褘胁邪薪懈泄
2022
125-132
Article
PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS
2022
58-65
Article
Relations between the Proof Complexities in Frege Systems, Deep-Inference Proof Systems KS and eKS
2022
182-187
Article
Proof Complexity of Hard-Determinable Balanced Tautologies in Frege Systems
2022
61-66
Article
袠小小袥袝袛袨袙袗袧袠袝 小袙袨袡小孝袙 袦袨袧袨孝袨袧袧袨小孝袠 袠 小孝袪袨袚袨袡 袦袨袧袨孝袨袧袧袨小孝袠袛袙校啸 袩袪袨袩袨袟袠笑袠袨袧袗袥鞋袧蝎啸 小袠小孝袝袦 袣袥袗小小袠效袝小袣袨袡 袥袨袚袠袣袠
2021
60-62
Article
袨 薪械泻芯褌芯褉褘褏 褋胁芯泄褋褌胁邪褏 屑懈薪懈屑邪谢褜薪褘褏 褌邪胁褌芯谢芯谐懈泄 泻谢邪褋褋懈褔械褋泻芯泄 懈 薪械泻谢邪褋褋懈褔械褋泻懈褏 谢芯谐懈泻
2020
15-21
Article
O 袧袝袦袨袧袨孝袨袧袨小孝袠 袚袠袥鞋袘袝袪孝袨袙小袣袠啸 小袠小孝袝袦 袠小效袠小袥袝袧袠携 袙蝎小袣袗袟蝎袙袗袧袠袡 袣袥袗小小袠效袝小袣袠啸 袠 袧袝袣袥袗小小袠效袝小袣袠啸 袥袨袚袠袣
2020
59-62
Article
On three types of universal propositional proof systems for all versions of many-valued logics and some its properties.
2020
1-3
Article
On monotonous and strongly monotonous properties of some propositional proof systems for different logics.
2020
1-3
Article
On non-monotonous properties of some classical and nonclassical propositional proof systems
2020
127-136
Article
袨斜 芯褌薪芯褕械薪懈褟褏 褋谢芯卸薪芯褋褌械泄 胁褘胁芯写芯胁 胁 褉褟写械 褋懈褋褌械屑 懈褋褔懈褋谢械薪懈褟 胁褘褋泻邪蟹褘胁邪薪懈泄.
2020
138-146
Article
Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems
2019
56-63
Article
袨 小袙袨袡小孝袙袗啸 袦袨袧袨孝袨袧袧袨小孝袠 袠 小孝袪袨袚袨袡 袦袨袧袨孝袨袧袧袨小孝袠 袩袪袨袩袨袟袠笑袠袨袧袗袥鞋袧蝎啸 小袠小孝袝袦 袪袝袟袨袥挟笑袠袡 袣袥袗小小袠效袝小袣袨袡 袠 袧袝袣袥袗小小袠效袝小袣袠啸 袥袨袚袠袣
2019
74-77
Article
Relations between the Proof Complexity Characteristics in Two Universal Proof Systems for All Variants of Many-Valued Logics
2019
69-74