@第{zbMATH06111173条，作者={Russo，Ciro}，标题={命题演绎系统之间解释的序理论分析}，FJournal={纯逻辑与应用逻辑年鉴}，日志={Ann.Pure Appl.Logic}，ISSN={0168-0072}，体积={164}，数字={2}，页码={112--130}，年份={2013}，语言={英语}，DOI={10.1016/j.apal.2012.09.006}，关键词={03G27,06F07}，zbMATH={6111173}，Zbl={1271.03093}}