@文章{zbMATH05296692，作者={Isakovi{\'c}Ili，Mirjana}，标题={子结构逻辑的定理证明}，FJournal={数学研究所出版物{\'e}matique。新潮S{\ee}rie}，期刊={Publ.Inst.Math.，Nouv.S{\ee}r.}，ISSN={0350-1302}，体积={82}，页码={55--78}，年份={2007}，语言={英语}，DOI={10.2298/PIM0796055I}，关键词={03B35,03B05,03B20,03B47,03F05,68T15}，zbMATH={5296692}，Zbl={1199.03003}}