@第{zbMATH07067982条，作者={Leszczy{'n}ska-Jasion，Dorota和Ignaszak，Mateusz和Chlebowski，Szymon}，标题={Rasiowa-{Sikorski}带切割规则的演绎系统：案例研究}，FJournal＝{逻辑研究}，日志={Stud.Log.}，ISSN={0039-3215}，体积={107}，数字={2}，页码={313--349}，年份={2019}，语言={英语}，DOI={10.1007/s11225-018-9795-7}，关键词={03B53,03F05,03B22}，zbMATH={7067982}，Zbl={1494.03068}}