Language skills
袪褍褋褋泻懈泄
English
Deutsch
Publications
Article
Recognition with Quantified Refutational Universal System for Many-Valued Logic
2026
138-143
Conference
Quantified Refutation Universal System for Many-Valued Logic
2025
17-19
Study manual
袥械泻褑懈懈 锌芯 锌褉械写屑械褌褍 "袦邪褌械屑邪褌懈褔械褋泻邪褟 谢芯谐懈泻邪"
2025
120
Study manual
談铡诈榨沾铡湛斋寨铡寨铡斩 湛謤铡沾铡闸铡斩崭謧诈盏崭謧斩
2025
114
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
Conference
ON SOME QUANTIFIED PROPOSITIONAL SYSTEM
2024
30 - 33
Conference
A Hierarchy of Determinative Sequent Systems with Different Substitution Rules
2023
32-34
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
Conference
On non-monotonous properties of some propositional proof systems
2021
165
Conference
Comparison of two propositional proof systems by lines and by sizes
2021
166
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