@第{zbMATH05356403条，作者={Esteva，F.和Godo，L.以及Noguera，C.}，Title＝｛关于谓词｛｛\L｝｝ukasiewicz、乘积、｛G｛\“o”del｝和用真值常数展开的幂零最小逻辑的完备性结果｝，FJournal={数学软件\&软计算}，日志={Mathware Soft Comput.}，ISSN={1134-5632}，体积={14}，数字={3}，页码={233--246}，年份={2007}，语言={英语}，关键词={03B52}，zbMATH={5356403}，Zbl={1213.03035}}