@第{zbMATH07589714条,作者={王、俊涛和何、彭飞和杨、江和王、梅和何、小丽},标题={单子{NM}-代数:一元谓词幂零最小逻辑}的代数方法,FJournal={逻辑与计算杂志},日志={J.Log.Comput.},ISSN={0955-792X},体积={32},数字={4},页码={741-766},年份={2022},语言={英语},DOI={10.1093/logcom/exab076},关键词={03-XX,68-XX},zbMATH={7589714}}