@第{zbMATH06231639条，作者={霍夫曼、德克和马丁斯、曼努埃尔A.}，Title={关于逻辑的一个模糊视图}，FJournal={逻辑与计算杂志}，日志={J.Log.Comput.}，ISSN={0955-792X}，体积={23}，数字={5}，页码={1097--1106}，年份={2013}，语言={英语}，DOI={10.1093/logcom/exs063}，关键词={03G30}，zbMATH={6231639}，Zbl={1286.03187}}